-
1
-
-
0040619974
-
A calculus for protocol specification and validation
-
H. Ruden and C. West, Eds. North-Holland, Amsterdam
-
AGGARWAL, S., KURSHAN, R. P., AND SABNANI, K. K. 1983. A calculus for protocol specification and validation. In Protocol Specification, Testing and Verification III, H. Ruden and C. West, Eds. North-Holland, Amsterdam.
-
(1983)
Protocol Specification, Testing and Verification III
-
-
Aggarwal, S.1
Kurshan, R.P.2
Sabnani, K.K.3
-
2
-
-
0005659208
-
Minimal state generation
-
BOUAJJANI, A., FERNANDEZ, J., HALBWICHS, N., RAYMOND, P., AND RATEL, C. 1992. Minimal state generation. Sci. Comput. Program. 18, 247-269.
-
(1992)
Sci. Comput. Program.
, vol.18
, pp. 247-269
-
-
Bouajjani, A.1
Fernandez, J.2
Halbwichs, N.3
Raymond, P.4
Ratel, C.5
-
3
-
-
0024645541
-
Reasoning about networks with many identical finite-state processes
-
BROWNE, M. C., CLARKE, E. M., AND GRUMBERG, O. 1989. Reasoning about networks with many identical finite-state processes. Inf. Comput. 81, 13-31.
-
(1989)
Inf. Comput.
, vol.81
, pp. 13-31
-
-
Browne, M.C.1
Clarke, E.M.2
Grumberg, O.3
-
4
-
-
85037030721
-
Design and verification of synchronization skeletons using branching time temporal logic
-
Logics of Programs Workshop. Springer-Verlag, Berlin
-
CLARKE, E. M. AND EMERSON, E. A. 1981. Design and verification of synchronization skeletons using branching time temporal logic. In Logics of Programs Workshop. 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
-
-
0020900726
-
Automatic verification of finite state concurrent programs using temporal logic: A practical approach
-
(Austin, Tex.). ACM, New York
-
CLARKE, E. M., EMERSON, E. A., AND SISTLA, A. P. 1983. Automatic verification of finite state concurrent programs using temporal logic: A practical approach. In Proceedings of the ACM Symposium on Principles of Programming Languages (Austin, Tex.). ACM, New York. Also ACM Trans. Program. Lang. Syst. 8, 2 (Apr. 1986), 244-263.
-
(1983)
Proceedings of the ACM Symposium on Principles of Programming Languages
-
-
Clarke, E.M.1
Emerson, E.A.2
Sistla, A.P.3
-
6
-
-
0022706656
-
-
Apr.
-
CLARKE, E. M., EMERSON, E. A., AND SISTLA, A. P. 1983. Automatic verification of finite state concurrent programs using temporal logic: A practical approach. In Proceedings of the ACM Symposium on Principles of Programming Languages (Austin, Tex.). ACM, New York. Also ACM Trans. Program. Lang. Syst. 8, 2 (Apr. 1986), 244-263.
-
(1986)
ACM Trans. Program. Lang. Syst.
, vol.8
, Issue.2
, pp. 244-263
-
-
-
7
-
-
85029430850
-
Exploiting symmetry in temporal logic model checking
-
5th International Conference on Computer Aided Verification. Springer-Verlag, Berlin
-
CLARKE, E. M., FILKORN, T., AND JHA, S. 1993. Exploiting symmetry in temporal logic model checking. In 5th International Conference on Computer Aided Verification. Lecture Notes in Computer Science, vol. 697. Springer-Verlag, Berlin.
-
(1993)
Lecture Notes in Computer Science
, vol.697
-
-
Clarke, E.M.1
Filkorn, T.2
Jha, S.3
-
8
-
-
0347296994
-
Analyzing concurrent systems using the concurrency workbench
-
Functional Programming, Concurrency, Simulation, and Automated Reasoning. Springer-Verlag, Berlin
-
CLEAVELAND, R. 1993. Analyzing concurrent systems using the concurrency workbench. In Functional Programming, Concurrency, Simulation, and Automated Reasoning. Lecture Notes in Computer Science, vol. 693. Springer-Verlag, Berlin.
-
(1993)
Lecture Notes in Computer Science
, vol.693
-
-
Cleaveland, R.1
-
9
-
-
84968322579
-
Generation of reduced models for checking fragments of ctl
-
Proceedings of the International Conference on Computer Aided Verification. Springer-Verlag, Berlin
-
DAMS, D., GRUMBERG, O., AND GERTH, R. 1993. Generation of reduced models for checking fragments of ctl. In Proceedings of the International Conference on Computer Aided Verification. Lecture Notes in Computer Science, vol. 697. Springer-Verlag, Berlin.
-
(1993)
Lecture Notes in Computer Science
, vol.697
-
-
Dams, D.1
Grumberg, O.2
Gerth, R.3
-
10
-
-
0001449325
-
Temporal and modal logic
-
J. van Leeuwen, Ed. Elsevier/North-Holland, Amsterdam
-
EMERSON, E. A. 1991. Temporal and modal logic. In Handbook of Theoretical Computer Science, J. van Leeuwen, Ed. Elsevier/North-Holland, Amsterdam.
-
(1991)
Handbook of Theoretical Computer Science
-
-
Emerson, E.A.1
-
11
-
-
0023362541
-
Modalities for model checking: Branching time strikes back
-
EMERSON, E. A. AND LEI, C. L. 1987. Modalities for model checking: Branching time strikes back. Sci. Comput. Program. 8, 275-306.
-
(1987)
Sci. Comput. Program.
, vol.8
, pp. 275-306
-
-
Emerson, E.A.1
Lei, C.L.2
-
12
-
-
84994694241
-
Symmetry and model checking
-
5th International Conference on Computer Aided Verification. Springer-Verlag, Berlin
-
EMERSON, E. A. AND SISTLA, A. P. 1993. Symmetry and model checking. In 5th International Conference on Computer Aided Verification. Lecture Notes in Computer Science, vol. 697. Springer-Verlag, Berlin. (Journal version appeared in J. Formal Methods Syst. Des., vol. 9, 1996, pp 105-131).
-
(1993)
Lecture Notes in Computer Science
, vol.697
-
-
Emerson, E.A.1
Sistla, A.P.2
-
13
-
-
0030215699
-
-
EMERSON, E. A. AND SISTLA, A. P. 1993. Symmetry and model checking. In 5th International Conference on Computer Aided Verification. Lecture Notes in Computer Science, vol. 697. Springer-Verlag, Berlin. (Journal version appeared in J. Formal Methods Syst. Des., vol. 9, 1996, pp 105-131).
-
(1996)
J. Formal Methods Syst. Des.
, vol.9
, pp. 105-131
-
-
-
14
-
-
0003974004
-
-
Springer-Verlag, New York
-
FRANCEZ, N. 1986. Fairness. Springer-Verlag, New York.
-
(1986)
Fairness
-
-
Francez, N.1
-
15
-
-
0030211668
-
Better verification through symmetry
-
Preliminary version appeared in the International Symposium on Computer Hardware Description Languages and Their Application, April 1993
-
IP, N. C. AND DILL, D. L. 1996. Better verification through symmetry. J. Formal Methods Syst. Des. 9, 41-75. Preliminary version appeared in the International Symposium on Computer Hardware Description Languages and Their Application, April 1993.
-
(1996)
J. Formal Methods Syst. Des.
, vol.9
, pp. 41-75
-
-
Ip, N.C.1
Dill, D.L.2
-
16
-
-
0003871155
-
Colored Petri Nets: Basic Concepts, Analysis Methods, and Practical Use
-
Springer-Verlag, Berlin
-
JENSEN, K. 1994. Colored Petri Nets: Basic Concepts, Analysis Methods, and Practical Use. EATCS Monographs, vol. 2. Springer-Verlag, Berlin.
-
(1994)
EATCS Monographs
, vol.2
-
-
Jensen, K.1
-
18
-
-
0342433610
-
Testing containment of omega-regular languages
-
Bell Labs Rep. 1121-861010-33, Bell Labs, Murray-Hill, N.J. Springer-Verlag, Berlin
-
KURSHAN, R. P. 1986. Testing containment of omega-regular languages. Bell Labs Rep. 1121-861010-33, Bell Labs, Murray-Hill, N.J. Also in Lecture Notes in Computer Science, vol. 103. Springer-Verlag, Berlin, 1987, pp 19-39.
-
(1986)
Lecture Notes in Computer Science
, vol.103
, pp. 19-39
-
-
Kurshan, R.P.1
|