- Computing Optimal Cycle Mean in Parallel on CUDA
Jiri Barnat, Petr Bauch, Lubos Brim and Milan Ceska
- Lazy Decomposition for Distributed Decision Procedures
Youssef Hamadi, Joao Marques-Silva and Christoph M. Wintersteiger
- Distributed MAP in the SpinJa Model Checker
Stefan Vijzelaar, Kees Verstoep, Wan Fokkink and Henri Bal
- The HIVE Tool for Informed Swarm State Space Exploration
Anton Wijs
- PKind: A parallel k-induction based model checker
Temesghen Kahsai and Cesare Tinelli
- CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems
Nikola Benes, Ivana Cerna and Milan Krivanek
|