eVolCheck

MaRDI QIDQ21690swMATHFDO

Official website http://link.springer.com/chapter/10.1007/978-3-642-36742-7_21

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