Simultaneous SAT-Based Model Checking of Safety Properties
Khasidashvili, Zurab, Nadel, Alexander, Palti, Amit, Hanna, Ziyad
Published in Hardware and Software, Verification and Testing (2006)
Published in Hardware and Software, Verification and Testing (2006)
Get full text
Book Chapter
Conference Proceeding
Encoding RTL Constructs for MathSAT: a Preliminary Report
Bozzano, Marco, Bruttomesso, Roberto, Cimatti, Alessandro, Franzén, Anders, Hanna, Ziyad, Khasidashvili, Zurab, Palti, Amit, Sebastiani, Roberto
Published in Electronic notes in theoretical computer science (19.01.2006)
Published in Electronic notes in theoretical computer science (19.01.2006)
Get full text
Journal Article