ARINC) Aeronautical Radio. ARINC 653. Avionics application software standard interface, 2006. ,
ACSL : ANSI/ISO C Specification Language, 2008. ,
A mergeable interval map, Studia Informatica Universalis Special Issue JFLA2010. Hermann, 2011. ,
, , 2011.
Abstract interpretation based formal methods and future challenges, Lecture Notes in Computer Science, pp.138-156, 2000. ,
Abstract interpretation : a unified lattice model for static analysis of programs by construction or approximation of fixpoints, Proceedings of the 4th Symposium on Principles of Programming Languages, pp.238-252, 1977. ,
Basic concepts of abstract interpretation, IFIP Congress Topical Sessions, pp.359-366, 2004. ,
Hashconsing in an incrementally garbage-collected system : a story of weak pointers and hashconsing in ocaml 3.10.2, Proceedings of the 2008 ACM SIGPLAN workshop on ML, ML '08, pp.13-22, 2008. ,
Frama-C's value analysis plug-in, 2011. ,
Experience report : Ocaml for an industrial-strength static analysis framework, ICFP '09 : Proceedings of the 14th ACM SIGPLAN international conference on Functional programming, pp.281-286, 2009. ,
Taster, a frama-c plug-in to enforce coding standards, ERTSS 2010 : Proceedings of Embedded Real Time Software and Systems. SIA, 2010. ,
Proving temporal properties at code level for basic operators of control/command programs, ERTS 2006 : Proceedings of Embedded Real Time Software. SIA, 2008. ,
Towards an industrial use of fluctuat on safety-critical avionics software, Lecture Notes in Computer Science, vol.5825, pp.53-69, 2009. ,
Astrée : From research to industry, Lecture Notes in Computer Science, vol.4634, pp.437-451, 2007. ,
Formal verification workbench for airbus avionics software, ERTS 2008 : Proceedings of Embedded Real Time Software. SIA, 2006. ,
The Objective Caml system ,
Patricia-practical algorithm to retrieve information coded in alphanumeric, Journal of the ACM, vol.15, issue.4, pp.514-534, 1968. ,
CIL : Intermediate Language and Tools for Analysis and Transformation of C Programs, CC '02 : Proceedings of the 11th International Conference on Compiler Construction, pp.213-228, 2002. ,
DO-178B, Software Considerations in Airborne Systems and Equipment Certification. United States. Federal Aviation Administration, 1992. ,
Loïc Correnson, and Virgile Prevosto. Frama-C Plug-in Development Guide, 2011. ,
Computing the worst case execution time of an avionics program by abstract interpretation, Proceedings of the 5th Intl Workshop on Worst-Case Execution Time (WCET) Analysis, pp.21-24, 2005. ,
Formal verification of avionics software products, Lecture Notes in Computer Science, vol.5850, pp.532-546, 2009. ,
An abstract interpretation-based timing validation of hard real-time avionics software, DSN, p.625, 2003. ,