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 | ||
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 | + | * Tags |
- | * Participants | + | * Benchmarks |
- | * Results | + | * Participants |
+ | * Results |