INRIA and CWI launch VLTS benchmark website

Together with the VASY group of CWI's French sister institute INRIA, Stefan Blom (SEN2) has set up the first VLTS Benchmark Suite. This online database contains several very large transition systems (VLTS), systematic descriptions of complex processes like railway safety systems. These descriptions, also referred to as state space graphs, include all possible states of the system and the way these states are related to each other. The benchmarks can be used to the evaluate algorithms operating on state space graphs, like model checkers and visualisation tools.

Publication date: 14-10-2003

Together with the VASY group of CWI's French sister institute INRIA, Stefan Blom (SEN2) has set up the first VLTS Benchmark Suite. This online database contains several very large transition systems (VLTS), systematic descriptions of complex processes like railway safety systems. These descriptions, also referred to as state space graphs, include all possible states of the system and the way these states are related to each other. The benchmarks can be used to the evaluate algorithms operating on state space graphs, like model checkers and visualisation tools. Several scientists have stressed the importance of a standard set of benchmarks.
The CWI/INRIA benchmark suite is the first effort to compile such a database. The site also features visualisations of several systems made by Jan Friso Groote and Frank van Ham of Eindhoven University of Technology.

The VLTS Benchmark Suite can be found at: www.inrialpes.fr/vasy/cadp/resources/benchmark_bcg.html