Reachability Modulo Theory Library

Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina. Reachability Modulo Theory Library. In Pascal Fontaine, Amit Goel, editors, 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012. Volume 20 of EPiC Series, pages 67-76, EasyChair, 2012. [doi]

Abstract

Abstract is missing.