scientific article; zbMATH DE number 1140074

zbMATH Open0893.68065MaRDI QIDQ4385178FDOQ4385178

Authors: Hakan Erdogmus 

Publication date: 3 August 1998

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

• Title not available (Why is that?)
• On the verification of architectural reconfigurations
• Towards a proof method for Paradigm
• APML: an architecture proof modeling language
• Automatic and hierarchical verification for concurrent systems

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)