Orion

MaRDI QIDQ21936swMATHFDO

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

Cited in

(18)

• Counterexample guided path reduction for static program analysis
• StEAM
• 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