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
