Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision Last revision Both sides next revision | ||
|
ntscomp [2011/02/09 20:05] radu.iosif created |
ntscomp [2012/07/10 21:15] radu.iosif |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Numerical Transition Systems Competition (NTS-COMP) ====== | ====== Numerical Transition Systems Competition (NTS-COMP) ====== | ||
| - | Numerical Transition Systems (a.k.a. Counter Systems, Counter Automata or Counter Machines) are simple models of computation involving infinite (or very large) data domains, such as integers, floating-point or real numbers. Despite their apparent simplicity, NTS can, in theory, model any real-life computer system, ranging from hardware circuits to programs. As a consequence, an important number of tools have emerged, addressing verification problems, such as reachability or termination, and deploying various techniques (widening, predicate abstraction, acceleration, etc.). A detailed definition of NTS and of the verification problems we consider can be found here. | + | Numerical Transition Systems (a.k.a. Counter Systems, Counter Automata or Counter Machines) are simple models of computation involving infinite (or very large) data domains, such as naturals, integers, rationals or real numbers. Despite their apparent simplicity, NTS can, in theory, model any real-life computer system, ranging from hardware circuits to programs. As a consequence, an important number of tools have emerged, addressing verification problems, such as reachability or termination, and deploying various techniques (widening, predicate abstraction, acceleration, etc.). A detailed definition of NTS and of the verification problems we consider can be found {{:ntslib.pdf|here}}. |
| The aim of NTS-COMP is to focus the verification community on a common general format (nts-lib) for describing NTS, and to build a open library of benchmarks that will be contributed to by tool developers. | The aim of NTS-COMP is to focus the verification community on a common general format (nts-lib) for describing NTS, and to build a open library of benchmarks that will be contributed to by tool developers. | ||
| * Rules | * Rules | ||
| - | * Download nts-lib | + | * Download [[http://richmodels.epfl.ch/ntscomp/ntslib|nts-lib]] |
| - | * Benchmarks | + | * [[https://github.com/hhojjat/NTSLib|Benchmarks]] |
| - | * Participants | + | * [[http://richmodels.epfl.ch/ntscomp/ntslib/tools|Participants]] |
| * Results | * Results | ||
| + | |||
| + | For additional information please contact Radu Iosif (iosif@imag.fr) | ||