Counterexample-Guided Precondition Inference

DOI10.1007/978-3-642-37036-6_25zbMath1381.68180OpenAlexW2148315256MaRDI QIDQ5326301

Mohamed Nassim Seghir, Daniel Kroening

Publication date: 5 August 2013

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37036-6_25

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Counterexample-Guided Precondition Inference