Ausgabe 1/2013
Special issue on Satisfiability Modulo Theory
Inhalt (6 Artikel)
Efficiently solving quantified bit-vector formulas
Christoph M. Wintersteiger, Youssef Hamadi, Leonardo de Moura
SMT-based scenario verification for hybrid systems
Alessandro Cimatti, Sergio Mover, Stefano Tonetta
SMT proof checking using a logical framework
Aaron Stump, Duckki Oe, Andrew Reynolds, Liana Hadarean, Cesare Tinelli