Presents and develops current validation techniques for detecting safety violations. The focus of the text is on the correctness of techniques that suffice for fully automatic validation of key components of such systems.