Formal verification of a programming logic for a distributed programming language
From MaRDI portal
Publication:1285659
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
semantic formalizationdistributed programming languagesmachine-checked verificationmechanization of programming logics
Uses Software
Cites Work