Title: Scalable Techniques for Formal Verification
Subjects: Systems engineering, Engineering, Computer-aided design, Computer systems, Formal methods (Computer science), Verification, Automatic theorem proving, System design, Electronic systems