, Simplifying the use of formal methods
, , 2011.
High Integrity Software: The SPARK Approach to Safety and Security, 2003. ,
Simple Smalltalk testing: With patterns, 1994. ,
Implementing polymorphism in SMT solvers, SMT'08, vol.367, pp.1-5, 2008. ,
Why3: Shepherd your herd of provers, Proceedings of Boogie 2011, the 1st International Workshop on Intermediate Language Verification, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00790310
An overview of JML tools and applications, Int. J. Softw. Tools Technol. Transf, vol.7, pp.212-232, 2005. ,
Engineering a sound assertion semantics for the verifying compiler, IEEE Trans. Softw. Eng, vol.36, pp.275-287, 2010. ,
An Investigation of Three Forms of the Modified Condition/Decision Coverage (MCDC) Criterion, 2001. ,
Why Hi-Lite Ada?, Proceedings of Boogie 2011, the 1st International Workshop on Intermediate Language Verification, 2011. ,
Correctness by construction: Developing a commercial secure system, IEEE Software, vol.19, issue.1, pp.18-25, 2002. ,
Behavioral interface specification languages, 2009. ,
An axiomatic basis for computer programming, Commun. ACM, vol.12, pp.576-580, 1969. ,
Object-Oriented Software Construction, 1988. ,
Software considerations in airborne systems and equipment certification. Document RTCA DO-178B, 1992. ,
Towards Ada 2012: an interim report, Proceedings of the ACM SIGAda annual international conference on SIGAda, SIGAda '10, pp.63-70, 2010. ,
Formal verification of avionics software products, Proceedings of the 2nd World Congress on Formal Methods, FM '09, pp.532-546, 2009. ,