Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs
No abstract available.
Related papers
- The Parallel Implementation of the Astrée Static Analyzer APLAS 2005
- Abstraction of memory block manipulations by symbolic loop folding ESOP 2025
- Static Analysis of String Manipulations in Critical Embedded C Programs SAS 2006
- Symbolic Methods to Enhance the Precision of Numerical Abstract Domains VMCAI 2006
- A static analyzer for large safety-critical software PLDI 2003
- Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables SAS 2010
- Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC TOPLAS 2023
- Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors ESOP 2004