Article

Dross, Claire and Furia, Carlo A and Huisman, Marieke and Monahan, Rosemary and Müller, Peter (2021) VerifyThis 2019: a program verification competition. International Journal on Software Tools for Technology Transfer, 23 (6). pp. 883-893. ISSN 1433-2779

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