CSP-prover

MaRDI QIDQ23407swMATHFDO

Official website https://staff.aist.go.jp/y-isobe/CSP-Prover/CSP-Prover.html

Described by source

• Proof principles of CSP -- CSP-prover in practice
• Tools and Algorithms for the Construction and Analysis of Systems

Cited in

(21)

• rCOS
• TCOZ
• A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
• On the limits of refinement-testing for model-checking CSP
• Automated verification of reactive and concurrent programs by calculation
• Sound reasoning in \textit{tock}-CSP
• FDR2
• CSP-CASL -- a new integration of process algebra and algebraic specification
• Proceedings of the 8th international workshop on automated verification of critical systems (AVoCS 2008), Glasgow, UK, September 30 -- October 1, 2008
• CoCasl
• PAT
• PTSC
• Generic tools via general refinement
• Simulating truly concurrent CSP
• Property Preserving Refinement for Csp-Casl
• CSP-CASL-Prover: a generic tool for process and data refinement
• The stable revivals model in CSP-Prover
• Multiple synchrony in MSC
• A Complete Axiomatic Semantics for the CSP Stable-Failures Model
• Failure-divergence semantics and refinement of long running transactions
• Deadlock-freeness of hexagonal systolic arrays

This page was built for software: CSP-prover