scientific article
From MaRDI portal
Publication:3673097
zbMath0522.68035MaRDI QIDQ3673097
Krzysztof R. Apt, Carole Delporte
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
livenesssafetycompletenessproof systemwhile-programsintermittent assertion methodsequential programsfragment of temporal logic
Other nonclassical logic (03B60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)
Related Items (2)
Weak second order characterizations of various program verification systems ⋮ ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
This page was built for publication:
