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 26 articles )

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

1 2 next

  1. Esparza, Javier; Křetínský, Jan; Sickert, Salomon: From LTL to deterministic automata. A safraless compositional approach (2016)
  2. Keiren, Jeroen J.A.: Benchmarks for parity games (2015)
  3. López Bóbeda, Edmundo; Colange, Maximilien; Buchs, Didier: Stratagem: a generic Petri net verification framework (2014)
  4. Blahoudek, František; Křetínský, Mojmír; Strejček, Jan: Comparison of LTL to deterministic rabin automata translators (2013)
  5. Evangelista, Sami; Kristensen, Lars Michael: Dynamic state space partitioning for external memory state space exploration (2013) ioport
  6. Renault, Etienne; Duret-Lutz, Alexandre; Kordon, Fabrice; Poitrenaud, Denis: Strength-based decomposition of the property Büchi automaton for faster model checking (2013)
  7. Barnat, Jiří; Brim, Luboš; Ročkai, Petr: On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties (2012)
  8. Dubrovin, Jori; Junttila, Tommi; Heljanko, Keijo: Exploiting step semantics for efficient bounded model checking of asynchronous systems (2012)
  9. Gaiser, Andreas; Křetínský, Jan; Esparza, Javier: Rabinizer: small deterministic automata for $\mathrmLTL(\mathrmF,\mathrmG)$ (2012)
  10. Abdulla, Parosh Aziz; Chen, Yu-Fang; Clemente, Lorenzo; Holík, Lukáš; Hong, Chih-Duo; Mayr, Richard; Vojnar, Tomáš: Advanced Ramsey-based Büchi automata inclusion testing (2011)
  11. Edelkamp, S.; Sulewski, D.; Barnat, J.; Brim, L.; Šimeček, P.: Flash memory efficient LTL model checking (2011)
  12. Edelkamp, Stefan; Sulewski, Damian: External memory breadth-first search with delayed duplicate detection on the GPU (2011) ioport
  13. Evangelista, Sami; Petrucci, Laure; Youcef, Samir: Parallel nested depth-first searches for LTL model checking (2011)
  14. Barnat, J.; Brim, L.; Ročkai, P.: Scalable shared memory LTL model checking (2010) ioport
  15. Dubrovin, Jori: Checking bounded reachability in asynchronous systems by symbolic event tracing (2010)
  16. Evangelista, Sami; Pajault, Christophe: Solving the ignoring problem for partial order reduction (2010) ioport
  17. Weber, Michael: An embeddable virtual machine for state space generation (2010) ioport
  18. Evangelista, Sami; Westergaard, Michael; Kristensen, Lars M.: The ComBack method revisited: caching strategies and extension with delayed duplicate detection (2009)
  19. Gaiser, Andreas; Schwoon, Stefan: Comparison of algorithms for checking emptiness on Büchi automata (2009)
  20. Geldenhuys, Jaco; Hansen, Henri; Valmari, Antti: Exploring the scope for partial order reduction (2009)

1 2 next