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 GLP.

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

So far, we propose benchmarks for two dedicated formalisms:

• Parametric time automata
• Petri Nets (Colored, in the sense of Symmetric nets and P/T)

Citation

If you use part of (or all) these models, please refer to this current repository a 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}
}