A proof system for concurrent ADA programs

DOI10.1016/0167-6423(84)90018-2zbMath0536.68009OpenAlexW2116320598MaRDI QIDQ792078

N. E. Zubov

Publication date: 1984

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/16239

zbMATH Keywords

rendezvousparallel sorting algorithmpartial correctnessbasic synchronization and communication primitiveCSP proof systemHoare-style proof system

Mathematics Subject Classification ID

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

Related Items

Appraising fairness in languages for distributed programming ⋮ Issues in the design of a parallel object-oriented language ⋮ Proof theory for exception handling in a tasking environment ⋮ A Bibliography of Willem-Paul de Roever ⋮ Corrigenda:Cooperating proofs for distributed programs with multiparty interactions ⋮ A complete axiomatic semantics of spawning

Uses Software

• Ada95