Explaining Verification Conditions

DOI10.1007/978-3-540-79980-1_12zbMath1170.68430DBLPconf/amast/DenneyF08OpenAlexW2119431942WikidataQ57658823 ScholiaQ57658823MaRDI QIDQ5505421

Bernd Fischer, Ewen Denney

Publication date: 27 January 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://eprints.soton.ac.uk/271134/1/51400145.pdf

Mathematics Subject Classification ID

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

Cites Work

• Generating error traces from verification-condition counterexamples
• AutoBayes: a system for generating data analysis programs from statistical models
• Algebraic Methodology and Software Technology
• Automating the implementation of Kalman filter algorithms
• Mechanizing Mathematical Reasoning

This page was built for publication: Explaining Verification Conditions