Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs

DOI10.1007/11804192_7zbMath1196.68039OpenAlexW1485200865MaRDI QIDQ3591386

Dennis Dams, Kedar S. Namjoshi

Publication date: 11 September 2007

Published in: Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11804192_7

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (3)

Combining Model Checking and Data-Flow Analysis ⋮ Reusing predicate precision in value analysis ⋮ Counterexample Guided Path Reduction for Static Program Analysis

Uses Software

• veriSoft
• SLAM
• ESC/Java
• DART
• Bandera
• CVC
• Orion
• ASTREE

This page was built for publication: Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs