The following pages link to CSP-prover (Q23407):
Displaying 15 items.
- Failure-divergence semantics and refinement of long running transactions (Q714877) (← links)
- Deadlock-freeness of hexagonal systolic arrays (Q765473) (← links)
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS (Q1798665) (← links)
- On the limits of refinement-testing for model-checking CSP (Q1941896) (← links)
- Automated verification of reactive and concurrent programs by calculation (Q2043817) (← links)
- Sound reasoning in \textit{tock}-CSP (Q2120813) (← links)
- CSP-CASL -- a new integration of process algebra and algebraic specification (Q2368940) (← links)
- Proceedings of the 8th international workshop on automated verification of critical systems (AVoCS 2008), Glasgow, UK, September 30 -- October 1, 2008 (Q2435361) (← links)
- Generic tools via general refinement (Q2873690) (← links)
- Simulating Truly Concurrent CSP (Q2999314) (← links)
- Property Preserving Refinement for Csp-Casl (Q3184734) (← links)
- CSP-CASL-Prover: A Generic Tool for Process and Data Refinement (Q5178975) (← links)
- The Stable Revivals Model in CSP-Prover (Q5178981) (← links)
- Multiple Synchrony in MSC (Q5179361) (← links)
- A Complete Axiomatic Semantics for the CSP Stable-Failures Model (Q5756603) (← links)
