Model-checking CSP-OZ specifications with FDR

MaRDI QIDQ4494252zbMATH OpenFDO

Authors Clemens Fischer, Heike Wehrheim

Publication date 10 August 2000

zbMATH Keywords

CSP-OZObject-Z

Mathematics Subject Classification ID

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

Recommendations

• Data abstraction techniques in the validation of CSP-OZ specifications
• Model-checking CSP-Z: Strategy, tool support and industrial application
• Specification and inheritance in CSP-OZ.
• scientific article; zbMATH DE number 2143088
• Specification and (property) inheritance in CSP-OZ

Cited in

(15)

• Model checking action system refinements
• Specification and (property) inheritance in CSP-OZ
• Model transformations across views
• Integrating a formal method into a software engineering process with UML and Java
• CSP with Hierarchical State
• scientific article; zbMATH DE number 1519981 (Why is no real title available?)
• scientific article; zbMATH DE number 2143088 (Why is no real title available?)
• scientific article; zbMATH DE number 2086951 (Why is no real title available?)
• A semantics for behavior trees using CSP with specification commands
• Communicating Sequential Processes. The First 25 Years
• Specification and inheritance in CSP-OZ.
• Data abstraction techniques in the validation of CSP-OZ specifications
• Model-checking CSP-Z: Strategy, tool support and industrial application
• Verifying data refinements using a model checker
• On using data abstractions for model checking refinements

This page was built for publication: Model-checking CSP-OZ specifications with FDR

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