Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Editor: Beckert, B.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.


Bormer, T. and Brockschmidt, M. and Distefano, D. and Ernst, G. and Filliatre, J.-C. and Grigore, R. and Huisman, M. and Klebanov, V. and Marche, C. and Monahan, R. and Mostowski, W.I. and Poiikarpova, N. and Scheben, C. and Schellhorn, G. and Tofan, B. and Tschannen, J. and Ulbrich, M. (2012) The COST IC0701 Verification Competition 2011. In: International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, 5-7 Oct 2011, Turin, Italy. pp. 3-21. Lecture Notes in Computer Science 7421. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-31761-3
Huisman, M. and Klebanov, V. and Monahan, R. (2012) On the organisation of program verification competitions. In: 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE 2012), 30 June 2012, Manchester, UK. pp. 50-59. CEUR-WS Proceedings 873. Sun SITE Central Europe. ISSN 1613-0073


Huisman, M. and Gurov, D. (2010) CVPP: A Tool Set for Compositonal Verification of Control-Flow Safety Properties. In: Formal Verification of Object-Oriented Software (FoVeOOS) 2010., 28 - 30 June 2010. pp. 107-121. Lecture Notes in Computer Science 6528. Springer Verlag. ISBN 978-3-642-18070-5

This list was generated on Mon Mar 27 00:04:40 CEST 2017.