Weakest preconditions for progress

J.J. Lukkien, J.L.A. Snepscheut, van de

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)


Predicate transformers that map the postcondition and all intermediate conditions of a command to a precondition are introduced. They can be used to specify certain progress properties of sequential programs.
Original languageEnglish
Pages (from-to)195-236
JournalFormal Aspects of Computing
Issue number2
Publication statusPublished - 1992


Dive into the research topics of 'Weakest preconditions for progress'. Together they form a unique fingerprint.

Cite this