Author :
Roggenbach, Markus
Author_Institution :
Dept. of Comput. Sci., Swansea Univ., Swansea
Abstract :
The talk will discuss various proof tools for Csp, show examples of how to analyze systems using these tools, and will also cover recent developments such as the tool HORAE, which is based on constraint satisfaction techniques, and the Csp-CASL-Prover, which provides integrated theorem proving for processes and data.
Keywords :
concurrency control; constraint theory; formal specification; formal verification; process algebra; systems analysis; theorem proving; CSP process algebra; concurrent system modelling; concurrent system verification; constraint satisfaction problem; design specification; formal analysis; reactive system description; reactive system modelling; requirement specification; theorem proving; Algebra; Application software; Computer science; Context modeling; Electrical equipment industry; Encoding; Protocols; Security; Software engineering; System recovery; CSP; Process Algebra; Theorem Proving;
Conference_Titel :
Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on
Conference_Location :
Cape Town
Print_ISBN :
978-0-7695-3437-4
DOI :
10.1109/SEFM.2008.39
