eVolCheck: incremental upgrade checker for C

DOI10.1007/978-3-642-36742-7_21MaRDI QIDQ5326332zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Verification of evolving software via component substitutability analysis
• Incremental verification using trace abstraction
• FM 2005: Formal Methods
• Verification: Theory and Practice
• Incremental bounded model checking for embedded software

Cited in

(9)

• Algorithmic games for full ground references
• Erlang code evolution control
• Exploiting partial variable assignment in interpolation-based model checking
• Farkas-based tree interpolation
• OpenSMT2: an SMT solver for multi-core and cloud computing
• FM 2005: Formal Methods
• Incremental verification using trace abstraction
• SMT-based verification of program changes through summary repair
• Verification of evolving software via component substitutability analysis

Describes a project that uses

Uses Software

• OpenSMT
• eVolCheck
• FunFrog
• SymDiff

This page was built for publication: eVolCheck: incremental upgrade checker for C

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5326332)