scientific article; zbMATH DE number 1140074

MaRDI QIDQ4385178zbMATH OpenFDO

Authors Hakan Erdogmus

Publication date 3 August 1998

zbMATH Keywords

compositional verificationconcurrent system

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 2079671
• Automatic and hierarchical verification for concurrent systems
• scientific article; zbMATH DE number 1796139
• scientific article; zbMATH DE number 3956417

Cited in

(5)

• Towards a proof method for Paradigm
• On the verification of architectural reconfigurations
• Automatic and hierarchical verification for concurrent systems
• scientific article; zbMATH DE number 2079671 (Why is no real title available?)
• APML: an architecture proof modeling language

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 Q4385178)