Chunks: Component Verification in CSP ∥ B

DOI10.1007/11589976_7zbMath1137.68439OpenAlexW1602745619MaRDI QIDQ5429309

Helen Treharne, Neil D. Evans, S. A. Schneider

Publication date: 29 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11589976_7

zbMATH Keywords

decompositionCSPB-MethodComponent based verification

Mathematics Subject Classification ID

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 (2)

Assumption-Commitment Support for CSP Model Checking ⋮ Assumption-commitment support for CSP model checking

This page was built for publication: Chunks: Component Verification in CSP ∥ B