CSP-Prover – a Proof Tool for the Verification of Scalable Concurrent Systems

@inproceedings{Isobe2008CSPProverA,
  title={CSP-Prover – a Proof Tool for the Verification of Scalable Concurrent Systems},
  author={Yoshinao Isobe and Markus Roggenbach},
  year={2008}
}
The process algebra Csp [1] [4] [15] [16] is a formal method devoted to the modelling as well as to the analysis and verification of concurrent systems. It is a speciality of Csp that it captures both, the concurrent system as well as its desired properties, as specifications: Let Sys be the formal Csp model of a concurrent system, let P be a property formulated in Csp – such a property could, for instance, be deadlock-freedom. In such a setting, the statement P Sys, read ‘Sys is a refinement… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS
13 Citations
10 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…