Orion

MaRDI QIDQ21936swMATHFDO

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

Cited in

(18)

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

This page was built for software: Orion