Formal verification of a programming logic for a distributed programming language

DOI10.1016/S0304-3975(97)00234-XzbMath0914.68126OpenAlexW2022933226MaRDI QIDQ1285659

Ronald A. Olsson, Karl N. Levitt, Cui Zhang

Publication date: 28 April 1999

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(97)00234-x

zbMATH Keywords

semantic formalizationdistributed programming languagesmachine-checked verificationmechanization of programming logics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Uses Software

• ML
• HOL
• UNITY
• Cambridge LCF

Cites Work

• The existence of refinement mappings
• Automatic program verification. I: A logical basis and its implementation
• Axiomatic semantics of communicating sequential processes
• Logic and Computation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item