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.
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.
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.
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.
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.
I. Foster (1995):
Designing and Building Parallel Programs.
Addison-Wesley.
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.
J.F. Groote & A. Ponse (1995):
The Syntax and Semantics of μCRL.
In: ACP'94.
Springer,
pp. 26–62.
G.J. Holzmann, R. Joshi & A. Groce (2008):
Swarm Verification.
In: ASE'08.
IEEE,
pp. 1–6,
doi:10.1109/ASE.2008.9.
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.
S.P. Luttik (1997):
Description and Formal Specification of the Link Layer of P1394.
SEN-R 9706.
CWI.
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.
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.
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.
eptcs@eptcs.org