Astrée: Design and Experience
No abstract available.
Related papers
- The Parallel Implementation of the Astrée Static Analyzer APLAS 2005
- Understanding the Origin of Alarms in Astrée SAS 2005
- Astrée: From Research to Industry SAS 2007
- The ASTREÉ Analyzer ESOP 2005
- The trace partitioning abstract domain TOPLAS 2007
- A²I: abstract² interpretation POPL 2019
- Symbolic Methods to Enhance the Precision of Numerical Abstract Domains VMCAI 2006
- Designing Reusable Designs - Experiences Designing Object-Oriented Frameworks (Panel) OOPSLA 1990