Proof Principles of CSP – CSP-Prover in Practice

DOI10.1007/978-3-540-76862-3_42zbMath1218.68105OpenAlexW57212168MaRDI QIDQ5198499

Yoshinao Isobe, Markus Roggenbach

Publication date: 8 August 2011

Published in: Dynamics in Logistics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-76862-3_42

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

On the limits of refinement-testing for model-checking CSP ⋮ CSP-CASL-Prover: A Generic Tool for Process and Data Refinement ⋮ The Stable Revivals Model in CSP-Prover ⋮ A UTP semantics for communicating processes with shared variables and its formal encoding in PVS ⋮ CSP-prover

This page was built for publication: Proof Principles of CSP – CSP-Prover in Practice