An experiment with the use of predicate transformers in UNITY

DOI10.1016/0020-0190(94)00215-KMaRDI QIDQ673907zbMATH OpenFDO

Authors Rutger M. Dijkstra

Publication date 28 February 1997

Published in Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

Parallel algorithmsProgram correctnessProof methodology

Mathematics Subject Classification ID

Distributed algorithms (68W15)

Recommendations

• DUALITY: A simple formalism for the analysis of UNITY
• On the logic of UNITY
• scientific article; zbMATH DE number 2077135
• Data refinement of mixed specifications: A generalization of UNITY

Cites work

• scientific article; zbMATH DE number 194642 (Why is no real title available?)
• A predicate transformer for progress
• DUALITY: A simple formalism for the analysis of UNITY

Cited in

(2)

• Eliminating the substitution axiom from UNITY logic
• scientific article; zbMATH DE number 2043526 (Why is no real title available?)

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: An experiment with the use of predicate transformers in UNITY

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