Specification and (property) inheritance in CSP-OZ

DOI10.1016/J.SCICO.2004.05.017zbMath1075.68051OpenAlexW2119402699MaRDI QIDQ1776587

Heike Wehrheim, Ernst-Ruediger Olderog

Publication date: 12 May 2005

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2004.05.017

zbMATH Keywords

CSPObject-ZFDRInheritanceModel-checkingFailures divergence semanticsSafety and liveness properties

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Integrating a formal method into a software engineering process with UML and Java ⋮ Refinement and verification in component-based model-driven design ⋮ The behavioural semantics of Event-B refinement ⋮ Testing for refinement in \textsf{Circus}

Uses Software

• Bandera

This page was built for publication: Specification and (property) inheritance in CSP-OZ