Syntax directed analysis of liveness properties of while programs

DOI10.1016/S0019-9958(86)80037-7MaRDI QIDQ3719798zbMATH OpenFDO

Authors Krzysztof R. Apt, Carole Delporte-Gallet

Publication date 1986

Published in Information and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0019-9958(86)80037-7

zbMATH Keywords

liveness propertiessyntax directed proof systemwhile-programs

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Recognizing safety and liveness
• Safety, liveness and fairness in temporal logic
• Adequate proof principles for invariance and liveness properties of concurrent programs
• On the refinement of liveness properties of distributed systems
• scientific article; zbMATH DE number 177525

Cited in

(3)

• Fairness and the axioms of control predicates
• Weak second order characterizations of various program verification systems
• Proving that programs eventually do something good

This page was built for publication: Syntax directed analysis of liveness properties of while programs

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