Article

Huisman, Marieke, Klebanov, Vladimir, Monahan, Rosemary and Tautschnig, Michael (2017) VerifyThis 2015: A program verification competition. International Journal on Software Tools for Technology Transfer, 19 (6). pp. 763-771. ISSN 1433-2779

Huisman, Marieke, Klebanov, Vladimir and Monahan, Rosemary (2015) VerifyThis 2012: A Program Verification Competition. International Journal on Software Tools for Technology Transfer, 17. pp. 647-657. ISSN 1433-2779

Beyer, Dirk, Huisman, Marieke, Klebanov, Vladimir and Monaham, Rosemary (2014) Evaluating Software Verification Systems: Benchmarks and Competitions. Dagstuhl Reports, 4 (4). pp. 1-19. ISSN 2192-5283

Huisman, Marieke, Klebanov, Vladimir and Monahan, Rosemary (2012) On the Organisation of Program Verification Competitions. Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 873. pp. 50-59. ISSN 1613-0073

Bormer, Thorsten, Brockschmidt, Marc, Distefano, Dino, Ernst, Gidon, Filliâtre, Jean-Christophe, Grigore, Radu, Huisman, Marieke, Klebanov, Vladimir, Marché, Claude, Monahan, Rosemary, Mostowski, Wojciech, Polikarpova, Nadia, Scheben, Christoph, Schellhorn, Gerhard, Tofan, Bogdan, Tschannen, Julian and Ulbrich, Mattias (2012) The COST IC0701 Verification Competition 2011. Lecture Notes in Computer Science, 7421. pp. 3-21. ISSN 0302-9743

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)