A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
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 http://www.key-project.org 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 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
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 (www.cost-ic0701.org), 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
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. ...fatcat:vyiysx4vnfcl5ag2rciqm34hty