A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems.

Roberto Bruttomesso, Alessandro Cimatti, Anders Franzn, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani

Browse the full CAV paper archive.