-
1
-
-
0028413632
-
Model checking and Boolean graphs
-
11 Apr.
-
H. R. Andersen. Model checking and Boolean graphs. Theoretical Computer Science, 126(1):3-30, 11 Apr. 1994.
-
(1994)
Theoretical Computer Science
, vol.126
, Issue.1
, pp. 3-30
-
-
Andersen, H.R.1
-
3
-
-
84958758114
-
μCRL: A toolset for analysing algebraic specifications
-
G. Berry, H. Comon, and A. Finkel, editors LNCS 2102 Springer, July
-
S. Blom, W. Fokkink, J. F. Groote, I. van Langevelde, B. Lisser, and J. van de Pol. μCRL: a toolset for analysing algebraic specifications. In G. Berry, H. Comon, and A. Finkel, editors, Proc. of the 13th Conference on Computer-Aided Verification (CAV'01), LNCS 2102, p. 250-254. Springer, July 2001.
-
(2001)
Proc. of the 13th Conference on Computer-Aided Verification (CAV'01)
, pp. 250-254
-
-
Blom, S.1
Fokkink, W.2
Groote, J.F.3
Van Langevelde, I.4
Lisser, B.5
Van De Pol, J.6
-
5
-
-
84903214497
-
Parallel model checking for the alternation free μ-calculus
-
T. Margaria and W. Yi, editors LNCS 2031 Springer, Apr.
-
B. Bollig, M. Leucker, and M. Weber. Parallel model checking for the alternation free μ-calculus. In T. Margaria and W. Yi, editors, Proc. of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01), LNCS 2031, p. 543-558. Springer, Apr. 2001.
-
(2001)
Proc. of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01)
, pp. 543-558
-
-
Bollig, B.1
Leucker, M.2
Weber, M.3
-
6
-
-
84944038984
-
Distributed LTL model-checking based on negative cycle detection
-
LNCS. Springer, Dec.
-
L. Brim, I. Černá, P. Krčál, and R. Pelánek. Distributed LTL model-checking based on negative cycle detection. In Proc. of 21st Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'01), LNCS. Springer, Dec. 2001.
-
(2001)
Proc. of 21st Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'01)
-
-
Brim, L.1
Černá, I.2
Krčál, P.3
Pelánek, R.4
-
8
-
-
0003962322
-
-
The MIT Press, Cambridge, Massachusetts
-
E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999.
-
(1999)
Model Checking
-
-
Clarke, E.M.1
Grumberg, O.2
Peled, D.A.3
-
9
-
-
0020767389
-
Derivation of a termination detection algorithm for distributed computations
-
June
-
E. W. Dijkstra, W. H. J. Feijen, and A. J. M. van Gasteren. Derivation of a termination detection algorithm for distributed computations. Information Processing Letters, 16(5):217-219, June 1983.
-
(1983)
Information Processing Letters
, vol.16
, Issue.5
, pp. 217-219
-
-
Dijkstra, E.W.1
Feijen, W.H.J.2
Van Gasteren, A.J.M.3
-
10
-
-
0020226119
-
Using branching time temporal logic to synthesize synchronization skeletons
-
E. A. Emerson and E. M. Clarke. Using branching time temporal logic to synthesize synchronization skeletons. Science of Computer Programming, 2(3):241-266, 1982.
-
(1982)
Science of Computer Programming
, vol.2
, Issue.3
, pp. 241-266
-
-
Emerson, E.A.1
Clarke, E.M.2
-
11
-
-
84957813927
-
On model-checking for fragments of mu-calculus
-
C. Courcoubetis, editor LNCS 697 Springer
-
E. A. Emerson, C. S. Jutla, and A. P. Sistla. On model-checking for fragments of mu-calculus. In C. Courcoubetis, editor, Proc. 5th International Computer-Aided Verification Conference, LNCS 697, p. 385-396. Springer, 1993.
-
(1993)
Proc. 5th International Computer-Aided Verification Conference
, pp. 385-396
-
-
Emerson, E.A.1
Jutla, C.S.2
Sistla, A.P.3
-
12
-
-
0013007059
-
Distributed symbolic model checking for μ-calculus
-
G. Berry, H. Comon, and A. Finkel, editors Springer, July
-
O. Grumberg, T. Heyman, and A. Schuster. Distributed symbolic model checking for μ-calculus. In G. Berry, H. Comon, and A. Finkel, editors, Proc. of the 13th Conference on Computer-Aided Verification (CAV'01), of LNCS 2102, p. 350-362. Springer, July 2001.
-
(2001)
Proc. of the 13th Conference on Computer-Aided Verification (CAV'01), of LNCS 2102
, pp. 350-362
-
-
Grumberg, O.1
Heyman, T.2
Schuster, A.3
-
13
-
-
84896757260
-
Vectorized symbolic model checking of computation tree logic for sequential machine verification
-
K. G. Larsen and A. Skou, editors LNCS 575 Berlin, Germany, July Springer
-
H. Hiraishi, K. Hamaguchi, H. Ochi, and S. Yajima. Vectorized symbolic model checking of computation tree logic for sequential machine verification. In K. G. Larsen and A. Skou, editors, Proc. of Computer Aided Verification (CAV '91), LNCS 575, p. 214-224, Berlin, Germany, July 1992. Springer.
-
(1992)
Proc. of Computer Aided Verification (CAV '91)
, pp. 214-224
-
-
Hiraishi, H.1
Hamaguchi, K.2
Ochi, H.3
Yajima, S.4
-
14
-
-
49049126479
-
Results on the propositional mu-calculus
-
Dec.
-
D. Kozen. Results on the propositional mu-calculus. Theoretical Computer Science, 27:333-354, Dec. 1983.
-
(1983)
Theoretical Computer Science
, vol.27
, pp. 333-354
-
-
Kozen, D.1
-
15
-
-
0001667648
-
An automata-theoretic approach to branching-time model checking
-
Mar.
-
O. Kupferman, M. Y. Vardi, and P. Wolper. An automata-theoretic approach to branching-time model checking. Journal of the ACM, 47(2):312-360, Mar. 2000.
-
(2000)
Journal of the ACM
, vol.47
, Issue.2
, pp. 312-360
-
-
Kupferman, O.1
Vardi, M.Y.2
Wolper, P.3
-
16
-
-
84886292190
-
Model checking games for the alternation free mu-calculus and alternating automata
-
H. Ganzinger, D. McAllester, and A. Voronkov, editors LNAI 1705 Springer
-
M. Leucker. Model checking games for the alternation free mu-calculus and alternating automata. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proc. of the 6th International Conference on Logic for Programming and Automated Reasoning "(LPAR'99),", LNAI 1705, p. 77-91. Springer, 1999.
-
(1999)
Proc. of the 6th International Conference on Logic for Programming and Automated Reasoning "(LPAR'99),"
, pp. 77-91
-
-
Leucker, M.1
-
17
-
-
35048856631
-
Truth/SLC - A parallel verification platform for concurrent systems
-
G. Berry, H. Comon, and A. Finkel, editors LNCS 2102 Springer, July
-
M. Leucker and T. Noll. Truth/SLC - A parallel verification platform for concurrent systems. In G. Berry, H. Comon, and A. Finkel, editors, Proc. of the 13th Conference on Computer-Aided Verification (CAV'01), LNCS 2102, p. 255-259. Springer, July 2001.
-
(2001)
Proc. of the 13th Conference on Computer-Aided Verification (CAV'01)
, pp. 255-259
-
-
Leucker, M.1
Noll, T.2
-
19
-
-
0031338901
-
Reachability analysis using partitioned-roBBDs
-
IEEE Computer Society Press, June
-
A. A. Narayan, J. J. J. Isles, R. K. Brayton, and A. L. Sangiovanni-Vincentelli. Reachability analysis using partitioned-roBBDs. In Proc. of the IEEE International Conference on Computer-Aided Design, p. 388-393. IEEE Computer Society Press, June 1997.
-
(1997)
Proc. of the IEEE International Conference on Computer-Aided Design
, pp. 388-393
-
-
Narayan, A.A.1
Isles, J.J.J.2
Brayton, R.K.3
Sangiovanni-Vincentelli, A.L.4
-
20
-
-
84947425596
-
Parallelizing the Murφ verifier
-
O. Grumberg, editor LNCS 1254 Springer, June Haifa, Israel, June 22-25
-
U. Stern and D. L. Dill. Parallelizing the Murφ verifier. In O. Grumberg, editor, Computer-Aided Verification, 9th International Conference, LNCS 1254, p. 256-267. Springer, June 1997. Haifa, Israel, June 22-25.
-
(1997)
Computer-Aided Verification, 9th International Conference
, pp. 256-267
-
-
Stern, U.1
Dill, D.L.2
-
23
-
-
0027961839
-
On the parallel complexity of model checking in the modal mu-calculus
-
Paris, France, 4-7 July IEEE Computer Society Press
-
S. Zhang, O. Sokolsky, and S. A. Smolka. On the parallel complexity of model checking in the modal mu-calculus. In Proc. of the 9th Annual IEEE Symposium on Logic in Computer Science, p. 154-163, Paris, France, 4-7 July 1994. IEEE Computer Society Press.
-
(1994)
Proc. of the 9th Annual IEEE Symposium on Logic in Computer Science
, pp. 154-163
-
-
Zhang, S.1
Sokolsky, O.2
Smolka, S.A.3
|