Formal Verification of Avionics Software Products
- 1 January 2009
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics SoftwarePublished by Springer Nature ,2009
- Proof of Properties in AvionicsPublished by Springer Nature ,2008
- Astrée: From Research to IndustryPublished by Springer Nature ,2007
- Experimental Assessment of Astrée on Safety-Critical Avionics SoftwarePublished by Springer Nature ,2007
- The ASTREÉ AnalyzerPublished by Springer Nature ,2005
- Basic Concepts of Abstract InterpretationPublished by Springer Nature ,2004
- Reliable and Precise WCET Determination for a Real-Life ProcessorPublished by Springer Nature ,2001
- Applying formal proof techniques to avionics software: a pragmatic approachPublished by Springer Nature ,1999
- An axiomatic basis for computer programmingCommunications of the ACM, 1969