Axiomatic system for proving the properties of simple multimodule programs

DOI10.1007/BF01082606zbMath0674.68015MaRDI QIDQ3829057

K. K. Gyachas

Publication date: 1988

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

completenessConsistencyaxiomatic semanticspartial correctnessstate transitionsdistributed programming languagemultimodule program

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Cites Work

• A linear-history semantics for languages for distributed programming
• A proof technique for communicating sequential processes
• Verifying properties of parallel programs
• Soundness and Completeness of an Axiom System for Program Verification
• An axiomatic basis for computer programming
• Unnamed Item

This page was built for publication: Axiomatic system for proving the properties of simple multimodule programs