DAS-4 (The Distributed ASCI Supercomputer 4) Overview http://www.cs.vu.nl/das4/ Distributed MAP in SpinJa http://www.cs.vu.nl/~sjj.vijzelaar/spinja/ 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 54–62 10.1109/MC.2010.184 Jiri Barnat Lubos Brim Ivana Cerná 2005 Cluster-Based LTL Model Checking of Large Systems FMCO 259–279 10.1007/11804192_13 E. W. Dijkstra 1987 Shmuel Safra's Version of Termination Detection (Note EWD998) http://www.cs.utexas.edu/~EWD/ewd09xx/EWD998.PDF 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 SPIN 124–128 10.1007/978-3-642-16164-3_9 M. Kattenbelt T. Ruys A. Rensink 2007 An Object-Oriented Framework for Explicit-State Model Checking VVSS 84–92 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 ICDCN 155–166 10.1007/978-3-642-17679-1_14 Radek Pelánek 2007 BEEM: Benchmarks for Explicit Model Checkers SPIN 263–267 10.1007/978-3-540-73370-6_17 Kees Verstoep Henri E. Bal Jiri Barnat Lubos Brim 2009 Efficient large-scale model checking IPDPS 1–12 10.1109/IPDPS.2009.5161000