Simultaneous SAT-based model checking of safety properties (2005)

by Z Khasidashvili, A Nadel, A Palti, Z Hanna
Venue:In Haifa Verification Conference’05