Scalable techniques for formal verification - Ray, Sandip; SpringerLink (Online service) (Boston, MA : Springer Science+Business Media, LLC, 2010)
Keywords: Computer systems -- Verification; Automatic theorem proving; Formal methods (Computer science); Engineering; Circuits and Systems; Computer-Aided Engineering (CAD, CAE) and Design