Orion

swMATH9957MaRDI QIDQ21936FDOQ21936

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/11804192_7

Cited In (17)

• Counterexample guided path reduction for static program analysis
• Goanna
• Cseq
• Augur 2
• MoonWalker
• SatAbs
• Lazy-CSeq
• DyTa
• Ultimate Kojak
• CPAlien
• FrankenBit
• Jakstab
• MU-CSeq
• CoVEGI
• Combining model checking and data-flow analysis
• Incremental false path elimination for static software analysis
• Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs

This page was built for software: Orion