Henri E. Bal, Jason Maassen, Rob van Nieuwpoort, Niels Drost, Roelof Kemp, Nick Palmer, Thilo Kielmann, Frank J. Seinstra & Ceriel J. H. Jacobs (2010):
Real-World Distributed Computer with Ibis.
IEEE Computer 43(8),
pp. 54–62,
doi:10.1109/MC.2010.184.
Jiri Barnat, Lubos Brim & Ivana Cerná (2005):
Cluster-Based LTL Model Checking of Large Systems.
In: FMCO,
pp. 259–279,
doi:10.1007/11804192_13.
Gerard J. Holzmann (2004):
The SPIN Model Checker - primer and reference manual.
Addison-Wesley.
Marc de Jonge & Theo C. Ruys (2010):
The SpinJa Model Checker.
In: SPIN,
pp. 124–128,
doi:10.1007/978-3-642-16164-3_9.
M. Kattenbelt, T. Ruys & A. Rensink (2007):
An Object-Oriented Framework for Explicit-State Model Checking.
In: VVSS,
pp. 84–92.
Available at http://doc.utwente.nl/65394/.
Elzbieta Krepska, Thilo Kielmann, Wan Fokkink & Henri E. Bal (2011):
A High-Level Framework for Distributed Processing of Large-Scale Graphs.
In: ICDCN,
pp. 155–166,
doi:10.1007/978-3-642-17679-1_14.
Radek Pelánek (2007):
BEEM: Benchmarks for Explicit Model Checkers.
In: SPIN,
pp. 263–267,
doi:10.1007/978-3-540-73370-6_17.
Kees Verstoep, Henri E. Bal, Jiri Barnat & Lubos Brim (2009):
Efficient large-scale model checking.
In: IPDPS,
pp. 1–12,
doi:10.1109/IPDPS.2009.5161000.