Keyword:SMT solver

Publications
SMT for state-based formal methods: the ASM case study Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene In:Automated Formal Methods
The 2012 SMT Competition David Cok, Alberto Griggio, Roberto Bruttomesso and Morgan Deters In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories