Book Section

Leino, K. Rustan M. and Monahan, Rosemary (2009) Reasoning about Comprehensions with First-Order SMT Solvers. In: SAC '09 Proceedings of the 2009 ACM symposium on Applied Computing. ACM, New York, pp. 615-622. ISBN 9781605581668

Conference or Workshop Item

Muller, Peter, Shankar, Natarajan, Leavens, Gary T., Ridge, Tom, Tuerk, Thomas, Klebanov, Vladimir, Ulbrich, Mattias, Weisse, Benjamin, Leino, K. Rustan M., Chapman, Rod, Monahan, Rosemary, Polikarpova, Nadia, Bronish, Derek, Arthan, Rob, Alkassar, Eyad, Cohen, Ernie, Hillebrand, Mark, Tobies, Stephan, Jacobs, Bart, Piessens, Frank and Smans, Jan (2011) The 1st Verified Software Competition, Extended Experience Report. In: FM 2011: 17th International Symposium on Formal Methods, June 20-24 2011, Limerick. (Unpublished)

Monahan, Rosemary and Leino, K. Rustan M. (2010) Dafny meets the Verification Benchmarks Challenge. In: Verified Software: Theories, Tools, Experiments(VSTTE) 2010, August 16th-19th 2010, Edinburgh. (Unpublished)

Leino, K. Rustan M. and Monahan, Rosemary (2007) Automatic verification of textbook programs that use comprehensions. In: Formal Techniques for Java-like Programs (FTfJP) ECOOP Workshop, July 30 - August 3 2007, Berlin. (Unpublished)