-
1
-
-
0022720442
-
Limits for automatic verification of finite-state systems
-
APT, K. AND KOZEN, D. 1986. Limits for automatic verification of finite-state systems. Inf. Process Lett. 15, 307-309.
-
(1986)
Inf. Process Lett.
, vol.15
, pp. 307-309
-
-
Apt, K.1
Kozen, D.2
-
2
-
-
0024645541
-
Reasoning about networks with many identical finite-state processes
-
BROWNE, M., CLARKE, E., AND GRUMBERG, O. 1989. Reasoning about networks with many identical finite-state processes. Inf. Comput. 81, 1 (Apr.), 13-31.
-
(1989)
Inf. Comput.
, vol.81
, Issue.1 APRIL
, pp. 13-31
-
-
Browne, M.1
Clarke, E.2
Grumberg, O.3
-
3
-
-
35048900689
-
20 states and beyond
-
20 states and beyond. Inf. Comput. 98, 2 (June), 142-170.
-
(1992)
Inf. Comput.
, vol.98
, Issue.2 JUNE
, pp. 142-170
-
-
Burch, J.R.1
Clarke, E.M.2
McMillan, K.L.3
Dill, D.L.4
Hwang, L.J.5
-
4
-
-
85037030721
-
Synthesis of synchronization skeletons for branching time temporal logic
-
Logic of Programs: Workshop (Yorktown Heights), D. Kozen, Ed. Springer-Verlag, Berlin
-
CLARKE, E. M. AND EMERSON, E. A. 1981. Synthesis of synchronization skeletons for branching time temporal logic. In Logic of Programs: Workshop (Yorktown Heights), D. Kozen, Ed. Lecture Notes in Computer Science, vol. 131. Springer-Verlag, Berlin.
-
(1981)
Lecture Notes in Computer Science
, vol.131
-
-
Clarke, E.M.1
Emerson, E.A.2
-
5
-
-
0022706656
-
Automatic verification of finite-state concurrent systems using temporal logic specifications
-
CLARKE, E. M., EMERSON, E. A., AND SISTLA, A. P. 1986. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8, 2 (Apr.), 244-263.
-
(1986)
ACM Trans. Program. Lang. Syst.
, vol.8
, Issue.2 APRIL
, pp. 244-263
-
-
Clarke, E.M.1
Emerson, E.A.2
Sistla, A.P.3
-
7
-
-
0042500364
-
Abstract interpretation of reactive systems: Abstractions preserving ACTL * ,ECTL *, and CTL *
-
San Miniato, Italy
-
DAMS, D., GRUMBERG. O., AND GERTH, R. 1994. Abstract interpretation of reactive systems: Abstractions preserving ACTL * ,ECTL *, and CTL *. In IFIP Working Conference and Programming Concepts, Methods and Calculi (PROCOMET'94), (San Miniato, Italy).
-
(1994)
IFIP Working Conference and Programming Concepts, Methods and Calculi (PROCOMET'94),
-
-
Dams, D.1
Grumberg, O.2
Gerth, R.3
-
8
-
-
0022232627
-
Invariance and non-determinacy
-
C. Hoare and J. Sheperdson, Eds. Prentice-Hall, Englewood Cliffs, N.J
-
DIJKSTRA, E. 1985. Invariance and non-determinacy. In Mathematical Logic and Programming Languages, C. Hoare and J. Sheperdson, Eds. Prentice-Hall, Englewood Cliffs, N.J.
-
(1985)
Mathematical Logic and Programming Languages
-
-
Dijkstra, E.1
-
11
-
-
0026884434
-
Reasoning about systems with many processes
-
GERMAN, S. AND SISTLA, A. 1992. Reasoning about systems with many processes. J. ACM 39, 675-735.
-
(1992)
J. ACM
, vol.39
, pp. 675-735
-
-
German, S.1
Sistla, A.2
-
12
-
-
0028427381
-
Model checking and modular verification
-
GRUMBERG, O. AND LONG, D. 1994. Model checking and modular verification. ACM Trans. Program. Lang. Syst. 16, 3 (May), 843-871.
-
(1994)
ACM Trans. Program. Lang. Syst.
, vol.16
, Issue.3 MAY
, pp. 843-871
-
-
Grumberg, O.1
Long, D.2
-
15
-
-
0004478491
-
GORMEL - Grammar ORiented ModEL checker
-
The Technion, Haifa, Israel. Oct
-
MARELLY, R. AND GRUMBERG, O. 1991. GORMEL - Grammar ORiented ModEL checker. Tech. Rep. 697, The Technion, Haifa, Israel. Oct.
-
(1991)
Tech. Rep. 697
-
-
Marelly, R.1
Grumberg, O.2
-
17
-
-
0003276135
-
A Calculus of Communicating Systems
-
Springer-Verlag, Berlin
-
MILNER, R. 1980. A Calculus of Communicating Systems. Lecture Notes in Computer Science, vol. 92. Springer-Verlag, Berlin.
-
(1980)
Lecture Notes in Computer Science
, vol.92
-
-
Milner, R.1
-
19
-
-
85029793632
-
Network grammars, communication behaviors and automatic verification
-
Proceedings of the 1989 International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France, J. Sifakis, Ed. Springer-Verlag, Berlin
-
SHTADLER, Z. AND GRUMBERG, O. 1989. Network grammars, communication behaviors and automatic verification. In Proceedings of the 1989 International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France, J. Sifakis, Ed. Lecture Notes in Computer Science, vol. 407. Springer-Verlag, Berlin.
-
(1989)
Lecture Notes in Computer Science
, vol.407
-
-
Shtadler, Z.1
Grumberg, O.2
-
22
-
-
85031916820
-
Verifying properties of large sets of processes with network invariants
-
Proceedings of the 1989 International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France, J. Sifakis, Ed. Springer-Verlag, Berlin
-
WOLPER, P. AND LOVINFOSSE, V. 1989. Verifying properties of large sets of processes with network invariants. In Proceedings of the 1989 International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France, J. Sifakis, Ed. Lecture Notes in Computer Science, vol. 407. Springer-Verlag, Berlin.
-
(1989)
Lecture Notes in Computer Science
, vol.407
-
-
Wolper, P.1
Lovinfosse, V.2
|