Formal verification of a programming logic for a distributed programming language
type: Item
instance of: scholarly article
title: Formal verification of a programming logic for a distributed programming language
zbMATH Open document ID: 0914.68126
DOI: 10.1016/S0304-3975(97)00234-X
author: Cui Zhang
author: Ronald A. Olsson
author: Karl Levitt
published in: Theoretical Computer Science
publication date: 1999-04-28T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 1281128
zbMATH Keywords: semantic formalization
zbMATH Keywords: mechanization of programming logics
zbMATH Keywords: distributed programming languages
zbMATH Keywords: machine-checked verification
describes a project that uses: ML
describes a project that uses: UNITY
describes a project that uses: Cambridge LCF
describes a project that uses: HOL
MaRDI profile type: Publication
cites work: The existence of refinement mappings
cites work: Q4024006
cites work: Q4024005
cites work: Q3999717
cites work: Q4692502
cites work: Q4003356
cites work: Q5287513
cites work: Automatic program verification. I: A logical basis and its implementation
cites work: Logic and Computation
cites work: Axiomatic semantics of communicating sequential processes
full work available at URL: s0304-3975(97)00234-x
OpenAlex ID: W2022933226
description: scientific article; zbMATH DE number 1281128