scientific article; zbMATH DE number 3827195

zbMATH Open0522.68035MaRDI QIDQ3673097FDOQ3673097

Krzysztof R. Apt, Carole Delporte

Publication date: 1983

Title of this publication is not available (Why is that?)

zbMATH Keywords

completenesssafetylivenessproof systemwhile-programsintermittent assertion methodsequential programsfragment of temporal logic

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Other nonclassical logic (03B60) Abstract data types; algebraic specification (68Q65)

Cited In (2)

• ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
• Weak second order characterizations of various program verification systems

This page was built for publication:

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