References

  1. DAS-4 (The Distributed ASCI Supercomputer 4) Overview. Available at http://www.cs.vu.nl/das4/.
  2. Distributed MAP in SpinJa. Available at http://www.cs.vu.nl/~sjj.vijzelaar/spinja/.
  3. 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.
  4. 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.
  5. E. W. Dijkstra (1987): Shmuel Safra's Version of Termination Detection (Note EWD998). Available at http://www.cs.utexas.edu/~EWD/ewd09xx/EWD998.PDF.
  6. Gerard J. Holzmann (2004): The SPIN Model Checker - primer and reference manual. Addison-Wesley.
  7. 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.
  8. 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/.
  9. 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.
  10. Radek Pelánek (2007): BEEM: Benchmarks for Explicit Model Checkers. In: SPIN, pp. 263–267, doi:10.1007/978-3-540-73370-6_17.
  11. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org