1. J. Barnat, L. Brim, M. Ceška & P. Ročkai (2010): DiVinE: Parallel Distributed Model Checker. In: HiBi/PDMC'10, pp. 4–7, doi:10.1109/PDMC-HiBi.2010.9.
  2. B. Bingham, J. Bingham, F.M. de Paula, J. Erickson, G. Singh & M. Reitblatt (2010): Industrial Strength Distributed Explicit State Model Checking. In: HiBi / PDMC 2010. IEEE, pp. 28–36, doi:10.1109/PDMC-HiBi.2010.13.
  3. S.C.C. Blom, W.J. Fokkink, J.F. Groote, I. van Langevelde, B. Lisser & J.C. van de Pol (2001): μCRL: A Toolset for Analysing Algebraic Specifications. In: CAV'01, LNCS 2102. Springer, pp. 250–254, doi:10.1007/3-540-44585-4_23.
  4. S.C.C. Blom, J.C. van de Pol & M. Weber (2010): \voidb@x LTSmin: Distributed and Symbolic Reachability. In: CAV'10, LNCS 6174, pp. 354–359, doi:10.1007/978-3-642-14295-6_31.
  5. M.B. Dwyer, S.G. Elbaum, S. Person & R. Purandare (2007): Parallel Randomized State-space Search. In: ICSE'07. IEEE, pp. 3–12, doi:10.1109/ICSE.2007.62.
  6. I. Foster (1995): Designing and Building Parallel Programs. Addison-Wesley.
  7. H. Garavel, R. Mateescu, D. Bergamini, A. Curic, N. Descoubes, C. Joubert, I. Smarandache-Sturm & G. Stragier (2006): DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. In: TACAS'06, LNCS 3920. Springer, pp. 445–449, doi:10.1007/11691372_30.
  8. J.F. Groote & A. Ponse (1995): The Syntax and Semantics of μCRL. In: ACP'94. Springer, pp. 26–62.
  9. G.J. Holzmann, R. Joshi & A. Groce (2008): Swarm Verification. In: ASE'08. IEEE, pp. 1–6, doi:10.1109/ASE.2008.9.
  10. F. Lerda & R. Sista (1999): Distributed-Memory Model Checking with SPIN. In: SPIN'99, LNCS 1680. Springer, pp. 22–39, doi:10.1007/3-540-48234-2_3.
  11. S.P. Luttik (1997): Description and Formal Specification of the Link Layer of P1394. SEN-R 9706. CWI.
  12. G.E. Moore (1998): Cramming more Components onto Integrated Circuits. Proc. of the IEEE 86(1), pp. 82–85, doi:10.1109/JPROC.1998.658762.
  13. M. Torabi Dashti, S. Krishnan Nair & H.L. Jonker (2008): Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme. Fundamenta Informaticae 89(4), pp. 393–417.
  14. A.J. Wijs (2011): Towards Informed Swarm Verification. In: NFM'11, LNCS 6617. Springer, pp. 422–437, doi:10.1007/978-3-642-20398-5_30.

Comments and questions to:
For website issues: