Error Invariants

DOI10.1007/978-3-642-32759-9_17zbMath1372.68061OpenAlexW4248489389MaRDI QIDQ4647843

Martin Schäf, Thomas Wies, Evren Ermis

Publication date: 8 November 2012

Published in: FM 2012: Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32759-9_17

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Labelled interpolation systems for hyper-resolution, clausal, and local proofs ⋮ Toward a theory of program repair ⋮ Complete instantiation-based interpolation

Uses Software

• z3

This page was built for publication: Error Invariants