CUI LSV LIPN LIP6
MeFoSyLoMa CNRS Iniria
QR Code
Last modified
June 28, 2016

Displayed
Oct 22, 2017
Benchmark Repository

Introduction

This section 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:

BenchKit

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

Cication

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}}