Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
cscomp [2011/02/09 19:16] radu.iosif |
cscomp [2011/02/09 19:21] 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 | + | * Benchmarks |
| - | * Participants | + | * Participants |
| - | * Results | + | * Results |