-
1
-
-
84957716599
-
Formula-dependent equivalence for compositional CTL model checking
-
D. Dill, Ed. Lecture Notes in Computer Science, Springer-Verlag, New York
-
AZIZ, A., SHIPLE, T., SINGHAL, V., AND SANGIOVANNI-VINCETELLY, A. 1994a. Formula-dependent equivalence for compositional CTL model checking. In Proceedings of the 6th Conference on Computer Aided Verification (CAV'94), D. Dill, Ed. Lecture Notes in Computer Science, vol. 818. Springer-Verlag, New York, 324-337.
-
(1994)
Proceedings of the 6th Conference on Computer Aided Verification (CAV'94)
, vol.818
, pp. 324-337
-
-
Aziz, A.1
Shiple, T.2
Singhal, V.3
Sangiovanni-Vincetelly, A.4
-
2
-
-
0028755844
-
Minimizing interacting finite state machines: A compositional approach to language containment
-
AZIZ, A., SINGHAL, V., SWAMY, G., AND BRAYTON, R. 1994b. Minimizing interacting finite state machines: A compositional approach to language containment. In Proceedings of the International Conference on Computer Design. 255-261.
-
(1994)
Proceedings of the International Conference on Computer Design.
, pp. 255-261
-
-
Aziz, A.1
Singhal, V.2
Swamy, G.3
Brayton, R.4
-
3
-
-
0029316495
-
Transformational design and implementation of new efficient solution to the ready simulation problem
-
BLOOM, B. AND PAIGE, R. 1996. Transformational design and implementation of new efficient solution to the ready simulation problem. In Science of Computer Programming. Vol. 24. 189-220.
-
(1996)
Science of Computer Programming
, vol.24
, pp. 189-220
-
-
Bloom, B.1
Paige, R.2
-
4
-
-
0009794409
-
Minimal model generation
-
E. Clarke and R. Kurshan, Eds. Springer-Verlag, New York
-
BOUAJJANI, A., PEHNANDEZ, J.-C., AND HALBWACHS, N. 1990. Minimal model generation. In Computer-Aided Verification, E. Clarke and R. Kurshan, Eds. Springer-Verlag, New York, 197-203.
-
(1990)
Computer-Aided Verification
, pp. 197-203
-
-
Bouajjani, A.1
Pehnandez, J.-C.2
Halbwachs, N.3
-
5
-
-
85029439013
-
Symbolic bisimulation minimization
-
G. V. Bochmann and D. K. Probst, Eds. Lecture Notes in Computer Science, Springer-Verlag, New York
-
BOUALI, A. AND DE SIMONE, R. 1992. Symbolic bisimulation minimization. In Proceedings of the 4th Conference on Computer-Aided Verification, G. V. Bochmann and D. K. Probst, Eds. Lecture Notes in Computer Science, vol. 663. Springer-Verlag, New York, 96-108.
-
(1992)
Proceedings of the 4th Conference on Computer-Aided Verification
, vol.663
, pp. 96-108
-
-
Bouali, A.1
De Simone, R.2
-
6
-
-
0003962322
-
-
MIT Press, Cambridge, Mass
-
CLARKE, E., GHUMBERG, O., AND PELED, D. 1999. Model Checking. MIT Press, Cambridge, Mass.
-
(1999)
Model Checking
-
-
Clarke, E.1
Ghumberg, O.2
Peled, D.3
-
7
-
-
0002367651
-
Synthesis of synchronization skeletons for branching time temporal logic
-
N.Y. Lecture Notes in Computer Science, Springer-Verlag, New York
-
CLARKE, E. M. AND EMERSON, E. A. 1981. Synthesis of synchronization skeletons for branching time temporal logic. In Logic of Programs: Workshop Yorktown Heights, N.Y. Lecture Notes in Computer Science, vol. 131. Springer-Verlag, New York.
-
(1981)
Logic of Programs: Workshop Yorktown Heights
, vol.131
-
-
Clarke, E.M.1
Emerson, E.A.2
-
8
-
-
0031102750
-
Abstract interpretation of reactive systems
-
Mar.
-
DAMS, D., GERTH, R., AND GRUMBERG, O. 1997. Abstract interpretation of reactive systems. ACM Trans. Prog. Lang. Syst. 19, 2 (Mar.).
-
(1997)
ACM Trans. Prog. Lang. Syst.
, vol.19
, Issue.2
-
-
Dams, D.1
Gerth, R.2
Grumberg, O.3
-
9
-
-
84928591534
-
Bisimulation minimization in an automata-theoretic verification framework
-
FISLER, K. AND VARDI, M. 1998. Bisimulation minimization in an automata-theoretic verification framework. In Formal Methods in Computer-Aided Design (FMCAD). 115-132.
-
(1998)
Formal Methods in Computer-Aided Design (FMCAD)
, pp. 115-132
-
-
Fisler, K.1
Vardi, M.2
-
10
-
-
0028427381
-
Model checking and modular verification
-
GRUMBERO, O. AND LONG, D. 1994. Model checking and modular verification. ACM Trans. Prog. Lang. Syst. 16, 3, 843-871.
-
(1994)
ACM Trans. Prog. Lang. Syst.
, vol.16
, Issue.3
, pp. 843-871
-
-
Grumbero, O.1
Long, D.2
-
12
-
-
84887498707
-
Simulation preorder on simple process algebras
-
Lecture Notes in Computer Science, Sringer-Verlag, New York
-
KUCERA, A. AND MAYR, R. 1999. Simulation preorder on simple process algebras. In International Colloquium on Automata, Languages and Programing. Lecture Notes in Computer Science, vol. 1644. Sringer-Verlag, New York.
-
(1999)
International Colloquium on Automata, Languages and Programing
, vol.1644
-
-
Kucera, A.1
Mayr, R.2
-
14
-
-
0029207880
-
Property preserving abstractions for the verification of concurrent systems
-
LOISEAUX, C., GRAF, S., SIFAKIS, J., BOUAJJANI, A., AND BENSALEM, S. 1995. Property preserving abstractions for the verification of concurrent systems. Form. Meth. Syst. Des. 6, 1.
-
(1995)
Form. Meth. Syst. Des.
, vol.6
, Issue.1
-
-
Loiseaux, C.1
Graf, S.2
Sifakis, J.3
Bouajjani, A.4
Bensalem, S.5
-
16
-
-
84945924340
-
Concurrency and automata on infinite sequences
-
Lecture Notes in Computer Science, Springer-Verlag, New York
-
PARK, D. 1981. Concurrency and automata on infinite sequences. In Proceedings of the 5th GI-Conference on Theoretical Computer Science. Lecture Notes in Computer Science, vol. 104. Springer-Verlag, New York, pp. 167-183.
-
(1981)
Proceedings of the 5th GI-Conference on Theoretical Computer Science
, vol.104
, pp. 167-183
-
-
Park, D.1
|