Specification and (property) inheritance in CSP-OZ
From MaRDI portal
Publication:1776587
DOI10.1016/j.scico.2004.05.017zbMath1075.68051MaRDI 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
CSP; Object-Z; FDR; Inheritance; Model-checking; Failures divergence semantics; Safety and liveness properties
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Refinement and verification in component-based model-driven design, Integrating a formal method into a software engineering process with UML and Java
Uses Software