Astrée: From Research to Industry
No abstract available.
Related papers
- The Parallel Implementation of the Astrée Static Analyzer APLAS 2005
- Astrée: Design and Experience SAS 2011
- Understanding the Origin of Alarms in Astrée SAS 2005
- The ASTREÉ Analyzer ESOP 2005
- The trace partitioning abstract domain TOPLAS 2007
- Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software TOPLAS 2026
- Advancing Performance via a Systematic Application of Research and Industrial Best Practice OOPSLA 2025
- Industrial perspectives panel PPoPP 2009