Tools for CSP
Markus Roggenbach · 2008
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.