CSP-prover
From MaRDI portal
Software:23407
No author found.
Related Items (15)
Sound reasoning in \textit{tock}-CSP ⋮ CSP-CASL -- a new integration of process algebra and algebraic specification ⋮ Property Preserving Refinement for Csp-Casl ⋮ On the limits of refinement-testing for model-checking CSP ⋮ Proceedings of the 8th international workshop on automated verification of critical systems (AVoCS 2008), Glasgow, UK, September 30 -- October 1, 2008 ⋮ Simulating Truly Concurrent CSP ⋮ CSP-CASL-Prover: A Generic Tool for Process and Data Refinement ⋮ The Stable Revivals Model in CSP-Prover ⋮ Multiple Synchrony in MSC ⋮ Failure-divergence semantics and refinement of long running transactions ⋮ A Complete Axiomatic Semantics for the CSP Stable-Failures Model ⋮ A UTP semantics for communicating processes with shared variables and its formal encoding in PVS ⋮ Automated verification of reactive and concurrent programs by calculation ⋮ Deadlock-freeness of hexagonal systolic arrays ⋮ Generic Tools via General Refinement
This page was built for software: CSP-prover
