4 works on record
Computer aided verification 15
Computer Aided Verification
Abstraction Refinement for Large Scale Model Checking
Logic Synthesis and Verification Algorithms