1. Clark Barrett Pascal Fontaine and Cesare Tinelli. The smt-lib standard version 2.5. http://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.5-r2015-06--28.pdf. Clark Barrett Pascal Fontaine and Cesare Tinelli. The smt-lib standard version 2.5. http://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.5-r2015-06--28.pdf.
2. Lecture Notes in Computer Science;Baumgartner Peter,2008
3. Static error detection using semantic inconsistency inference
4. Michael
Emmi Ranjit
Jhala Eddie
Kohler and
Rupak
Majumdar
.
Verifying reference counting implementations. In Stefan Kowalewski and Anna Philippou editors Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference TACAS
2009 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2009 York UK March 22--29 2009. Proceedings volume
5505
of
Lecture Notes in Computer Science pages
352
--
367
.
Springer 2009. Michael Emmi Ranjit Jhala Eddie Kohler and Rupak Majumdar. Verifying reference counting implementations. In Stefan Kowalewski and Anna Philippou editors Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference TACAS 2009 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2009 York UK March 22--29 2009. Proceedings volume 5505 of Lecture Notes in Computer Science pages 352--367. Springer 2009.