The ASTREÉ Analyzer
No abstract available.
Related papers
- The Parallel Implementation of the Astrée Static Analyzer APLAS 2005
- The trace partitioning abstract domain TOPLAS 2007
- Astrée: Design and Experience SAS 2011
- Understanding the Origin of Alarms in Astrée SAS 2005
- Astrée: From Research to Industry SAS 2007
- Symbolic Methods to Enhance the Precision of Numerical Abstract Domains VMCAI 2006
- A²I: abstract² interpretation POPL 2019
- The Julia Static Analyzer for Java SAS 2016