Weakest preconditions for progress

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

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)

Abstract

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
Volume4
Issue number2
DOIs
Publication statusPublished - 1992

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

  • Cite this