A proof system for concurrent ADA programs

DOI10.1016/0167-6423(84)90018-2MaRDI QIDQ792078zbMATH OpenOpenAlexFDO

Authors 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

partial correctnessrendezvousparallel sorting algorithmbasic 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)

Recommendations

• A Proof System for Ada Tasks
• scientific article; zbMATH DE number 3878340
• Proof theory for exception handling in a tasking environment
• scientific article; zbMATH DE number 3902009
• scientific article; zbMATH DE number 3907747

Cited in

(14)

• scientific article; zbMATH DE number 140005 (Why is no real title available?)
• An ``executable impredicative semantics for the Ada configuration
• Appraising fairness in languages for distributed programming
• scientific article; zbMATH DE number 2011471 (Why is no real title available?)
• A Proof System for Ada Tasks
• Corrigenda:Cooperating proofs for distributed programs with multiparty interactions
• Proof theory for exception handling in a tasking environment
• A Bibliography of Willem-Paul de Roever
• Adequate proof principles for invariance and liveness properties of concurrent programs
• Issues in the design of a parallel object-oriented language
• scientific article; zbMATH DE number 3878340 (Why is no real title available?)
• A complete axiomatic semantics of spawning
• scientific article; zbMATH DE number 3978353 (Why is no real title available?)
• Partial correctness of exits from concurrent structures

Describes a project that uses

Uses Software

• Ada95

This page was built for publication: A proof system for concurrent ADA programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q792078)