-
1
-
-
84894619258
-
Distributed LTL model-checking in SPIN
-
Springer, Berlin Heidelberg New York
-
Barnat J, Brim L, Stříbrná J (2001) Distributed LTL model-checking in SPIN. In: Proceedings SPIN'01. Lecture notes in computer science, vol 2057. Springer, Berlin Heidelberg New York, pp 200-216
-
(2001)
Proceedings SPIN'01. Lecture Notes in Computer Science
, vol.2057
, pp. 200-216
-
-
Barnat, J.1
Brim, L.2
Stříbrná, J.3
-
2
-
-
84944389561
-
Distributed timed model checking - How the search order matters
-
Springer, Berlin Heidelberg New York
-
Behrmann G, Hune T, Vaandrager FW (2000) Distributed timed model checking - how the search order matters. In: Proceedings CAV'00. Lecture notes in computer science, vol 1855. Springer, Berlin Heidelberg New York, pp 216-231
-
(2000)
Proceedings CAV'00. Lecture Notes in Computer Science
, vol.1855
, pp. 216-231
-
-
Behrmann, G.1
Hune, T.2
Vaandrager, F.W.3
-
3
-
-
25144450490
-
-
(eds), Springer, Berlin Heidelberg New York
-
Berry G, Comon H, Finkel A (eds) (2001) Proceedings CAV'01. Lecture notes in computer science, vol 2102. Springer, Berlin Heidelberg New York
-
(2001)
Proceedings CAV'01. Lecture Notes in Computer Science
, vol.2102
-
-
Berry, G.1
Comon, H.2
Finkel, A.3
-
4
-
-
84958758114
-
μCRL: A toolset for analysing algebraic specifications
-
Springer, Berlin Heidelberg New York
-
Blom SCC, Fokkink WJ, Groote JF, van Langevelde I, Lisser B, van de Pol JC (2001) μCRL: A toolset for analysing algebraic specifications. In: Proceedings CAV'01. Lecture notes in computer science, vol 2102. Springer, Berlin Heidelberg New York, pp 250-254
-
(2001)
Proceedings CAV'01. Lecture Notes in Computer Science
, vol.2102
, pp. 250-254
-
-
Blom, S.C.C.1
Fokkink, W.J.2
Groote, J.F.3
van Langevelde, I.4
Lisser, B.5
van de Pol, J.C.6
-
6
-
-
13844312541
-
The VLTS benchmark
-
CWI/SEN2, INRIA/VASY
-
CWI/SEN2, INRIA/VASY. The VLTS benchmark. http://www.inrialpes.fr/vasy/cadp/resources/benchmark_bcg.html
-
-
-
-
8
-
-
0031189008
-
Specification and verification of various distributed leader election algorithms for unidirection ring networks
-
Garavel H, Mounier L (1997) Specification and verification of various distributed leader election algorithms for unidirection ring networks. Sci Comput Programm 29(1-2):171-197
-
(1997)
Sci. Comput. Programm.
, vol.29
, Issue.1-2
, pp. 171-197
-
-
Garavel, H.1
Mounier, L.2
-
9
-
-
0030143334
-
Branching time and abstraction in bisimulation semantics
-
10.1145/233551.233556
-
van Glabbeek RJ, Weijland WP (1996) Branching time and abstraction in bisimulation semantics. J ACM 43(3):555-600 10.1145/233551.233556
-
(1996)
J. ACM
, vol.43
, Issue.3
, pp. 555-600
-
-
van Glabbeek, R.J.1
Weijland, W.P.2
-
11
-
-
0013007059
-
Distributed symbolic model checking for μ-calculus
-
Berry G, Comon H, Finkel A (eds)
-
Grumberg O, Heyman T, Schuster A (2001) Distributed symbolic model checking for μ-calculus. In: Berry G, Comon H, Finkel A (eds) [3], pp 350-362
-
(2001)
, Issue.3
, pp. 350-362
-
-
Grumberg, O.1
Heyman, T.2
Schuster, A.3
-
12
-
-
0002197352
-
An n log n algorithm for minimizing the states in a finite automaton
-
Academic, New York
-
Hopcroft JE (1971) An n log n algorithm for minimizing the states in a finite automaton. In: The theory of machines and computations. Academic, New York, pp 189-196
-
(1971)
The Theory of Machines and Computations
, pp. 189-196
-
-
Hopcroft, J.E.1
-
16
-
-
35048856631
-
Truth/SLC - A parallel verification platform for concurrent systems
-
Berry G, Comon H, Finkel A (eds)
-
Leucker M, Noll T (2001) Truth/SLC - a parallel verification platform for concurrent systems. In: Berry G, Comon H, Finkel A (eds) [3], pp 255-259
-
(2001)
, Issue.3
, pp. 255-259
-
-
Leucker, M.1
Noll, T.2
-
18
-
-
35248893345
-
A generic on-the-fly solver for alternation-free boolean equation systems
-
Springer, Berlin Heidelberg New York
-
Mateescu R (2003) A generic on-the-fly solver for alternation-free boolean equation systems. In: Proceedings TACAS'01. Lecture notes in computer science, vol 2619. Springer, Berlin Heidelberg New York, pp 81-96
-
(2003)
Proceedings TACAS'01. Lecture Notes in Computer Science
, vol.2619
, pp. 81-96
-
-
Mateescu, R.1
-
19
-
-
0023566630
-
Three partition refinement algorithms
-
10.1137/0216062
-
Paige R, Tarjan R (1987) Three partition refinement algorithms. SIAM J Comput 16(6):973-989 10.1137/0216062
-
(1987)
SIAM J. Comput.
, vol.16
, Issue.6
, pp. 973-989
-
-
Paige, R.1
Tarjan, R.2
-
22
-
-
0032118689
-
Parallel algorithms for relational coarsest partition problems
-
10.1109/71.707548
-
Rajasekaran S, Lee I (1998) Parallel algorithms for relational coarsest partition problems. IEEE Trans Parallel Distrib Syst 9(7):687-699 10.1109/71.707548
-
(1998)
IEEE Trans. Parallel Distrib. Syst.
, vol.9
, Issue.7
, pp. 687-699
-
-
Rajasekaran, S.1
Lee, I.2
-
23
-
-
0035448087
-
A timed verification of the ieee 1394 leader election protocol
-
10.1023/A:1011284000753
-
Romijn JMT (2001) A timed verification of the ieee 1394 leader election protocol. Formal Methods Syst Des 19(2):165-194 10.1023/A:1011284000753
-
(2001)
Formal Methods Syst. Des.
, vol.19
, Issue.2
, pp. 165-194
-
-
Romijn, J.M.T.1
-
24
-
-
84947425596
-
Parallelizing the Murφ verifier
-
Springer, Berlin Heidelberg New York
-
Stern U, Dill D (1997) Parallelizing the Murφ verifier. In: Proceedings CAV'97. Lecture notes in computer science, vol 1254. Springer, Berlin Heidelberg New York, pp 256-278
-
(1997)
Proceedings CAV'97. Lecture Notes in Computer Science
, vol.1254
, pp. 256-278
-
-
Stern, U.1
Dill, D.2
-
25
-
-
0027760645
-
Towards efficient parallelization of equivalence checking algorithms
-
Zhang S, Smolka SA (1993) Towards efficient parallelization of equivalence checking algorithms. In: Proceedings FORTE'92. IFIP Trans C-10:133-146
-
(1993)
Proceedings FORTE'92. IFIP Trans. C
, vol.10
, pp. 133-146
-
-
Zhang, S.1
Smolka, S.A.2
|