Orion

swMATH9957MaRDI QIDQ21936FDOQ21936

Author name not available (Why is that?)

Cited In (4)

• Combining Model Checking and Data-Flow Analysis
• Incremental False Path Elimination for Static Software Analysis
• Counterexample Guided Path Reduction for Static Program Analysis
• Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs

This page was built for software: Orion