DocumentCode
3532366
Title
Tools for CSP
Author
Roggenbach, Markus
Author_Institution
Dept. of Comput. Sci., Swansea Univ., Swansea
fYear
2008
fDate
10-14 Nov. 2008
Firstpage
213
Lastpage
214
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SEFM.2008.39
Filename
4685808
Link To Document