Experimental Assessment of Astrée on Safety-Critical Avionics Software

Publisher Website

1 January 2007

book chapter
Published by Springer Nature

p. 479-490
https://doi.org/10.1007/978-3-540-75101-4_45

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

The ASTREÉ Analyzer
Published by Springer Nature ,2005
Basic Concepts of Abstract Interpretation
Published by Springer Nature ,2004
A static analyzer for large safety-critical software
Published by Association for Computing Machinery (ACM) ,2003
Abstract Interpretation Based Formal Methods and Future Challenges
Published by Springer Nature ,2001