. Hi-lite, Simplifying the use of formal methods

M. Alfa-reference, , 2011.

J. Barnes, High Integrity Software: The SPARK Approach to Safety and Security, 2003.

K. Beck, Simple Smalltalk testing: With patterns, 1994.

F. Bobot, S. Conchon, E. Contejean, and S. Lescuyer, Implementing polymorphism in SMT solvers, SMT'08, vol.367, pp.1-5, 2008.

F. Bobot, J. Filliâtre, A. Paskevich, and C. Marché, 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

L. Burdy, Y. Cheon, D. R. Cok, M. D. Ernst, J. R. Kiniry et al., An overview of JML tools and applications, Int. J. Softw. Tools Technol. Transf, vol.7, pp.212-232, 2005.

P. Chalin, Engineering a sound assertion semantics for the verifying compiler, IEEE Trans. Softw. Eng, vol.36, pp.275-287, 2010.

J. J. Chilenski, An Investigation of Three Forms of the Modified Condition/Decision Coverage (MCDC) Criterion, 2001.

J. Guitton, J. Kanig, and Y. Moy, Why Hi-Lite Ada?, Proceedings of Boogie 2011, the 1st International Workshop on Intermediate Language Verification, 2011.

A. Hall and R. Chapman, Correctness by construction: Developing a commercial secure system, IEEE Software, vol.19, issue.1, pp.18-25, 2002.

J. Hatcliff, G. T. Leavens, K. R. Leino, P. Müller, and M. Parkinson, Behavioral interface specification languages, 2009.

C. A. Hoare, An axiomatic basis for computer programming, Commun. ACM, vol.12, pp.576-580, 1969.

B. Meyer, Object-Oriented Software Construction, 1988.

. Rtca, Software considerations in airborne systems and equipment certification. Document RTCA DO-178B, 1992.

E. Schonberg, Towards Ada 2012: an interim report, Proceedings of the ACM SIGAda annual international conference on SIGAda, SIGAda '10, pp.63-70, 2010.

J. Souyris, V. Wiels, D. Delmas, and H. Delseny, Formal verification of avionics software products, Proceedings of the 2nd World Congress on Formal Methods, FM '09, pp.532-546, 2009.