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