Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Alessandro Armando, Jacopo Mantovani, Lorenzo Platania. Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers. In Antti Valmari, editor, Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings. Volume 3925 of Lecture Notes in Computer Science, pages 146-162, Springer, 2006. [doi]

The following publications are possibly variants of this publication:

Bounded model checking of software using SMT solvers instead of SAT solversAlessandro Armando, Jacopo Mantovani, Lorenzo Platania. STTT, 11(1):69-83, 2009. [doi]

runs on WebDSL