eVolCheck: Incremental Upgrade Checker for C

DOI10.1007/978-3-642-36742-7_21zbMath1381.68159OpenAlexW1646049001MaRDI QIDQ5326332

Natasha Sharygina, Grigory Fedyukovich, Ondřej Šerý

Publication date: 5 August 2013

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36742-7_21

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

Algorithmic games for full ground references ⋮ SMT-based verification of program changes through summary repair ⋮ Farkas-based tree interpolation ⋮ Exploiting partial variable assignment in interpolation-based model checking ⋮ OpenSMT2: An SMT Solver for Multi-core and Cloud Computing

Uses Software

• FunFrog
• OpenSMT
• eVolCheck
• SymDiff

This page was built for publication: eVolCheck: Incremental Upgrade Checker for C