Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
tools:cass [2017-01-26 17:24] mh [Usage] |
tools:cass [2017-01-26 17:28] mh |
||
|---|---|---|---|
| Line 71: | Line 71: | ||
| To start CASS in the server mode, execute the command | To start CASS in the server mode, execute the command | ||
| - | cass --server [ -p <port> ] | + | curry analyze --server [ -p <port> ] |
| where an optional port number for the communication can be provided. | where an optional port number for the communication can be provided. | ||
| Line 152: | Line 152: | ||
| + | |||
| + | ===== Web Demo Installation ===== | ||
| + | |||
| + | If you want try CASS on simple programs via a web interface, | ||
| + | you can use the | ||
| + | [[http://www-ps.informatik.uni-kiel.de/~mh/webcass/main.cgi | Web Demo Installation of CASS]]. | ||
| ===== Further Information ===== | ===== Further Information ===== | ||
