eVolCheck
From MaRDI portal
EVolCheck
Cited in
(11)- Exploiting partial variable assignment in interpolation-based model checking
- OpenSMT2: an SMT solver for multi-core and cloud computing
- Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection
- Algorithmic games for full ground references
- FunFrog
- PeRIPLO
- SymDiff
- OpenSMT2
- coneqct
- eVolCheck: incremental upgrade checker for C
- PeRIPLO: a framework for producing effective interpolants in SAT-based software verification
This page was built for software: eVolCheck