BEEM: Benchmarks for Explicit Model Checker. We present Beem — BEnchmarks for Explicit Model checkers. This benchmark set includes more than 50 parametrized models (300 concrete instances) together with their correctness properties (both safety and liveness). The benchmark set is accompanied by an comprehensive web portal, which provides detailed information about all models. The web portal also includes information about state spaces and facilities for selection of models for experiments. The address of the web portal is

References in zbMATH (referenced in 23 articles )

Showing results 1 to 20 of 23.
Sorted by year (citations)

1 2 next

  1. López Bóbeda, Edmundo; Colange, Maximilien; Buchs, Didier: Stratagem: a generic Petri net verification framework (2014)
  2. Blahoudek, František; Křetínský, Mojmír; Strejček, Jan: Comparison of LTL to deterministic rabin automata translators (2013)
  3. Evangelista, Sami; Kristensen, Lars Michael: Dynamic state space partitioning for external memory state space exploration (2013) ioport
  4. Renault, Etienne; Duret-Lutz, Alexandre; Kordon, Fabrice; Poitrenaud, Denis: Strength-based decomposition of the property Büchi automaton for faster model checking (2013)
  5. Barnat, Jiří; Brim, Luboš; Ročkai, Petr: On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties (2012)
  6. Dubrovin, Jori; Junttila, Tommi; Heljanko, Keijo: Exploiting step semantics for efficient bounded model checking of asynchronous systems (2012)
  7. Gaiser, Andreas; Křetínský, Jan; Esparza, Javier: Rabinizer: small deterministic automata for $\mathrmLTL(F,G)$ (2012)
  8. Edelkamp, S.; Sulewski, D.; Barnat, J.; Brim, L.; Šimeček, P.: Flash memory efficient LTL model checking (2011)
  9. Edelkamp, Stefan; Sulewski, Damian: External memory breadth-first search with delayed duplicate detection on the GPU (2011) ioport
  10. Evangelista, Sami; Petrucci, Laure; Youcef, Samir: Parallel nested depth-first searches for LTL model checking (2011)
  11. Barnat, J.; Brim, L.; Ročkai, P.: Scalable shared memory LTL model checking (2010) ioport
  12. Dubrovin, Jori: Checking bounded reachability in asynchronous systems by symbolic event tracing (2010)
  13. Evangelista, Sami; Pajault, Christophe: Solving the ignoring problem for partial order reduction (2010) ioport
  14. Weber, Michael: An embeddable virtual machine for state space generation (2010) ioport
  15. Evangelista, Sami; Westergaard, Michael; Kristensen, Lars M.: The ComBack method revisited: caching strategies and extension with delayed duplicate detection (2009)
  16. Gaiser, Andreas; Schwoon, Stefan: Comparison of algorithms for checking emptiness on Büchi automata (2009)
  17. Geldenhuys, Jaco; Hansen, Henri; Valmari, Antti: Exploring the scope for partial order reduction (2009)
  18. Lal, Akash; Reps, Thomas: Reducing concurrent analysis under a context bound to sequential analysis (2009)
  19. Bal, Henri; Verstoep, Kees: Large-scale parallel computing on grids (2008) ioport
  20. Barnat, J.; Brim, L.; Šimeček, P.; Weber, M.: Revisiting resistance speeds up I/O-efficient LTL model checking (2008)

1 2 next