eVolCheck
From MaRDI portal
Software:21690
swMATH9711MaRDI QIDQ21690FDOQ21690
Author name not available (Why is that?)
Cited In (6)
- eVolCheck: Incremental Upgrade Checker for C
- Exploiting partial variable assignment in interpolation-based model checking
- Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection
- Algorithmic games for full ground references
- OpenSMT2: An SMT Solver for Multi-core and Cloud Computing
- PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification
This page was built for software: eVolCheck
