Specifying interactive systems in Object-Z and CSP

MaRDI QIDQ4494253zbMATH OpenFDO

Authors Ian MacColl, David B. Carrington

Publication date 4 March 2001

zbMATH Keywords

Object-Z

Mathematics Subject Classification ID

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

Recommendations

• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
• scientific article; zbMATH DE number 1949592
• Structural refinement of systems specified in Object-Z and CSP
• scientific article; zbMATH DE number 2086956

Cited in

(6)

• Combining component specifications in Object-Z and CSP.
• scientific article; zbMATH DE number 1949592 (Why is no real title available?)
• Extending the test template framework for specification-based testing of interactive systems
• scientific article; zbMATH DE number 1519981 (Why is no real title available?)
• scientific article; zbMATH DE number 2100584 (Why is no real title available?)
• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)

This page was built for publication: Specifying interactive systems in Object-Z and CSP

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