Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)

DOI10.1023/A:1011269103179zbMath1001.68075OpenAlexW2160613322MaRDI QIDQ5943269

John Derrick, Graeme Smith

Publication date: 9 September 2001

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1011269103179

zbMATH Keywords

CSPspecificationObject-Z

Mathematics Subject Classification ID

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

Related Items (3)

Verifying data refinements using a model checker ⋮ On using data abstractions for model checking refinements ⋮ Understanding, Explaining, and Deriving Refinement

Uses Software

• RAISE

This page was built for publication: Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)