| 2007 |
|---|
| 3 | EE | Roberto Bruttomesso,
Alessandro Cimatti,
Anders Franzén,
Alberto Griggio,
Ziyad Hanna,
Alexander Nadel,
Amit Palti,
Roberto Sebastiani:
A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems.
CAV 2007: 547-560 |
| 2006 |
|---|
| 2 | EE | Marco Bozzano,
Roberto Bruttomesso,
Alessandro Cimatti,
Anders Franzén,
Ziyad Hanna,
Zurab Khasidashvili,
Amit Palti,
Roberto Sebastiani:
Encoding RTL Constructs for MathSAT: a Preliminary Report.
Electr. Notes Theor. Comput. Sci. 144(2): 3-14 (2006) |
| 2005 |
|---|
| 1 | EE | Zurab Khasidashvili,
Alexander Nadel,
Amit Palti,
Ziyad Hanna:
Simultaneous SAT-Based Model Checking of Safety Properties.
Haifa Verification Conference 2005: 56-75 |
