The paper presents mathematical tools required for finite-time stability analysis of discontinuous control systems using discontinuous Lyapunov functions. Elements of Filippov theory of differential equations with discontinuous right-hand sides and stability notions are briefly observed. Concepts of generalized derivatives and non-smooth Lyapunov functions are considered. The generalized Lyapunov theorems for stability analysis and convergence time estimation are presented and supported by examples.