Astrée: From Research to Industry
- 21 August 2007
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Varieties of Static Analyzers: A Comparison with ASTREEPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- The ASTREÉ AnalyzerPublished by Springer Nature ,2005
- Basic Concepts of Abstract InterpretationPublished by Springer Nature ,2004
- A static analyzer for large safety-critical softwarePublished by Association for Computing Machinery (ACM) ,2003
- Abstract Interpretation Based Formal Methods and Future ChallengesPublished by Springer Nature ,2001