Benchmarks

Within the project CosyVerif, we developed a tool to easily operate benchmarks (confined measure of time and memory used by tools): BenchKit. BenchKit is distributed under GPL.

This page contains the available benchmarks for the project. These models are free to be reused and this page is updated regularly.

So far, we propose benchmarks for two dedicated formalisms:

Parametric Timed Automata Timed automata with parameters, mostly drawn from the IMITATOR case studies. Petri Nets Colored (Symmetric nets) and P/T nets, from the Model Checking Contest.

Citation

If you use part of (or all) these models, please refer to the current repository as follows:

@misc{cosyverif:benchmarks:2013,
  Author      = {{The CosyVerif Group}},
  Howpublished = {{http://cosyverif.org}},
  Lastchecked = {2013},
  Title       = {CosyVerif - Benchmark Repository},
  Urldate     = {2013},
  Year        = {2013}
}

For BenchKit, please cite:

@misc{benchkit:2013,
  Author      = {F. Kordon and N. Gibelin and F. Hulin-Hubard and F. Pommereau},
  Howpublished = {{http://benchkit.cosyverif.org}},
  Lastchecked = {2013},
  Title       = {{BenchKit User Manual}},
  Urldate     = {2013},
  Year        = {2013}
}