4 Hits in 1.9 sec

The COST IC0701 Verification Competition 2011 [chapter]

Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova (+5 others)
2012 Lecture Notes in Computer Science  
This paper reports on the experiences with the program verification competition held during the FoVeOOS conference in October 2011. There were 6 teams participating in this competition.  ...  We conclude with a discussion about the value of such competitions and lessons that can be learned from them. 1 2  ...  Acknowledgements The competition received generous supported from COST Action IC0701. Huisman and Mostowski are partially supported by ERC grant 258405 for the VerCors project.  ... 
doi:10.1007/978-3-642-31762-0_2 fatcat:jt5hy4ioevewfcubpq4lq4o4qu

VerifyThis 2015

Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, Michael Tautschnig
2016 International Journal on Software Tools for Technology Transfer (STTT)  
VerifyThis 2015 was a one-day program verification competition which took place on April 12th, 2015 in London, UK, as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2015  ...  It was the fourth instalment in the VerifyThis competition series.  ...  Acknowledgments The organisers would like to thank Wojciech Mostowski and Radu Grigore for their feedback and support prior to the competition.  ... 
doi:10.1007/s10009-016-0438-x fatcat:7yknibf43nhyzbood4ylzohpyy

Formal Verification of Object-Oriented Software. Papers presented at the 2nd International Conference, October 5-7, 2011, Turin, Italy

Bernhard [Hrsg.] Beckert, Ferruccio [Hrsg.] Damiani, Dilian [Hrsg.] Gurov
Acknowledgement The authors thank Mads Dam for discussion on strong causality and verification of non-local actor properties.  ...  Feller This work was supported by the German National Science Foundation (DFG) under the project "Program-level Specification and Deductive Verification of Security Properties" within the priority programme  ...  FoVeOOS was organised by COST Action IC0701 (, but it went beyond the framework of this action. The conference was open to the whole scientific community.  ... 
doi:10.5445/ir/1000024780 fatcat:qnqnk6c46jcrxjgydp6migtxpm

Hard Real-Time Java: Profiles and Schedulability Analysis

Thomas Bøgholm
In the fourth paper, the complete reconstruction of SCJ and its predecessor the Real-Time Specification for Java(RTSJ), and the resulting four simple profiles, is presented.  ...  The third paper presents an improvement of SARTS is developed which includes the analysis of Java finalizers, made possible by the earlier work on predictable Java.  ...  the manuscript.  ...