Patrick Baudin, Loic Correnson & Zaynah Dargaye (2013):
WP Plug-in Manual. Version 0.7 for Fluorine-20130601.
CEA LIST.
Patrick Baudin, Pascal Cuoq, Jean-Christophe Filliâtre, Claude Marché, Benjamin Monate, Yannick Moy & Virgile Prevosto (2013):
ACSL: ANSI/ISO C Specification Language. Version 1.7.
Technical Report.
CEA LIST, Software Reliability Laboratory.
Available at http://frama-c.com/download/acsl.pdf.
C. Baumann, T. Bormer, H. Blasum & S. Tverdyshev (2011):
Proving Memory Separation in a Microkernel by Code Level Verification.
In: Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2011 14th IEEE International Symposium on,
pp. 25–32,
doi:10.1109/ISORCW.2011.14.
Christoph Baumann, Bernhard Beckert, Holger Blasum & Thorsten Bormer (2009):
Better Avionics Software Reliability by Code Verification – A Glance at Code Verification Methodology in the Verisoft XT Project.
In: Embedded World 2009 Conference.
Franzis Verlag,
Nuremberg, Germany.
Holger Blasum, Frank Dordowsky, Bruno Langenstein & Andreas Nonnengart (2012):
DO-178C Compliance of Verisoft Formal Methods.
In: Proceedings of the Embedded Real Time Software and Systems Conference, 1. - 3. February, Toulouse.
Jochen Burghardt, Jens Gerlach amd Liangliang Gu, Kerstin Hartig, Hans Pohl, Juan Soto & Kim V¨ollinger (2011):
ACSL By Example. Towards a Verified C Standard Library.
Technical Report.
Fraunhofer FIRST.
(2007):
Common Criteria for Information Technology Security Evaluation. Part 3: Security Assurance Components.
Loïc Correnson, Pascal Cuoq, Florent Kirchner, Virgile Prevosto, Armand Puccetti, Julien Signoles & Boris Yakobowski (2013):
Frama-C User Manual. Release Fluorine-20130601.
Available at http://frama-c.com/download/frama-c-user-manual.pdf.
(2011):
RTCA DO-178C Software Considerations in Airborne Systems and Equipment Certification.
(2011):
RTCA DO-333 Formal Methods Supplement to DO-178C and DO-278A.
John Rushby (1993):
Formal Methods and the Certification of Critical Systems.
Technical Report SRI-CSL-93-7.
Computer Science Laboratory, SRI International,
Menlo Park, CA.
Jean Souyris, Virginie Wiels, David Delmas & Hervé Delseny (2009):
Formal Verification of Avionics Software Products.
In: Ana Cavalcanti & Dennis Dams: FM 2009: Formal Methods,
Lecture Notes in Computer Science 5850.
Springer Berlin / Heidelberg,
pp. 532–546,
doi:10.1007/978-3-642-05089-3_34.
J. M. Spivey (1998):
The Z Notation: A Reference Manual,
2nd edition edition.
Prentice Hall International (UK) Ltd.
Susan Stepney, Fiona Polack & Ian Toyn (2003):
A Z Patterns Catalogue I: Specification and Refactorings.
Technical Report YCS-2003-349.
Department of Computer Science, University of York.
Samuel H. Valentine, Susan Stepney & Ian Toyn (2004):
A Z Patterns Catalogue II: Definitions and Laws.
Technical Report YCS-2004-383.
Department of Computer Science, University of York.
L.M.G. de Vries (1996):
Applying Formal Methods in the DO-178B Certification Process.
Technical Report NLR TP 95547.
National Aerospace Laboratory NLR, Amsterdam, The Netherlands.