scientific article; zbMATH DE number 140005

MaRDI QIDQ4028369zbMATH OpenFDO

Authors Dominique Mery

Publication date 28 March 1993

zbMATH Keywords

development of concurrent programs from specificationsformal correctness of programstemporal proof systemsunity logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A proof system for concurrent ADA programs
• scientific article; zbMATH DE number 2147039
• Concurrent program schemes and their logics
• A verification system for concurrent programs based on the Boyer-Moore prover
• A functional programming approach to the specification and verification of concurrent systems
• Proving concurrent constraint programming correct, revisited

Cited in

(7)

• The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\)
• Derivation of concurrent programs: Two examples
• scientific article; zbMATH DE number 4180790 (Why is no real title available?)
• Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards
• scientific article; zbMATH DE number 683364 (Why is no real title available?)
• scientific article; zbMATH DE number 2147039 (Why is no real title available?)
• Colimits for concurrent collectors

This page was built for publication:

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