Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
cscomp [2011/02/09 19:16] radu.iosif |
cscomp [2011/02/09 19:16] radu.iosif |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| The aim of CSComp is to focus the verification community on a common general format (cs-lib) for describing counter systems, and to build a open library of benchmarks that will be contributed to by tool developers. | The aim of CSComp is to focus the verification community on a common general format (cs-lib) for describing counter systems, and to build a open library of benchmarks that will be contributed to by tool developers. | ||
| - | ** Rules | + | * Rules |
| - | ** Download cs-lib | + | * Download cs-lib |
| - | ** Sections | + | * Sections |
| - | ** Participants | + | * Participants |
| - | ** Results | + | * Results |