Highly Influenced

# 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} }

- Published 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

#### From This Paper

##### Figures, tables, and topics from this paper.

13 Citations

10 References

Similar Papers

#### References

##### Publications referenced by this paper.

Showing 1-10 of 10 references