Simplification of proof procedures based on the path condition concepts

DOI10.1007/10720123_11MaRDI QIDQ2723332zbMATH OpenFDO

Authors M. Larnac, J. Magnier, Vincent Chapurlat

Publication date 5 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10720123_11

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70)

Recommendations

• Proof simplification for model generation and its applications
• Proof simplification in the framework of coherent logic
• scientific article; zbMATH DE number 1534597
• Simpler reasoning about system properties: a proof-by-refinement technique
• From model checking to a temporal proof

Cited in

(2)

• Proof simplification for model generation and its applications
• Simpler reasoning about system properties: a proof-by-refinement technique

This page was built for publication: Simplification of proof procedures based on the path condition concepts

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