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 |