Understanding the Origin of Alarms in Astrée
Abstract elided by the publisher.
Related papers
- A²I: abstract² interpretation POPL 2019
- Astrée: Design and Experience SAS 2011
- Astrée: From Research to Industry SAS 2007
- The ASTREÉ Analyzer ESOP 2005
- The Parallel Implementation of the Astrée Static Analyzer APLAS 2005
- The trace partitioning abstract domain TOPLAS 2007
- Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs OOPSLA 2024
- Path invariants PLDI 2007