-
1
-
-
0020880468
-
The temporal logic of branching time
-
BEN-ARI, M., MANNA, Z., AND PNUELI, A. 1983. The temporal logic of branching time. Acta Informatica 20, 207-226.
-
(1983)
Acta Informatica
, vol.20
, pp. 207-226
-
-
BEN-ARI, M.1
MANNA, Z.2
PNUELI, A.3
-
3
-
-
0345092854
-
Synthesis of synchronization skeletons for branching time temporal logic
-
(Yorktown Heights, NY, May). 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, NY, May). Lecture Notes in Computer Science, vol. 131. Springer-Verlag, New York.
-
(1981)
Logic of Programs: Workshop
, vol.131
-
-
CLARKE, E.M.1
EMERSON, E.A.2
-
4
-
-
84866948372
-
A unified approach for showing language containment and equivalence between various types of ?-automata
-
Lecture Notes in Computer Science, vol. 407. Springer-Verlag, New York
-
CLARKE, E. M., DRAGHICESCU, I. A., AND KURSHAN, R. P. 1990. A unified approach for showing language containment and equivalence between various types of ?-automata. In Proceedings of the 15th Colloquium on Trees in Algebra and Programming. Lecture Notes in Computer Science, vol. 407. Springer-Verlag, New York.
-
(1990)
Proceedings of the 15th Colloquium on Trees in Algebra and Programming
-
-
CLARKE, E.M.1
DRAGHICESCU, I.A.2
KURSHAN, R.P.3
-
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, 244-263.
-
(1986)
ACM Trans. Program. Lang. Syst.
, vol.8
, Issue.2
, pp. 244-263
-
-
CLARKE, E.M.1
EMERSON, E.A.2
SISTLA, A.P.3
-
6
-
-
0024943291
-
Compositional model checking
-
a, IEEE Computer Society Press, Los Alamitos, Calif.
-
CLARKE, E. M., LONG, D. E., AND MCMILLAN, K. L. 1989a. Compositional model checking. In Proceedings of the 4th Annual Symposium on Logic in Computer Science. IEEE Computer Society Press, Los Alamitos, Calif.
-
(1989)
Proceedings of the 4th Annual Symposium on Logic in Computer Science
-
-
CLARKE, E.M.1
LONG, D.E.2
MCMILLAN, K.L.3
-
7
-
-
8744303409
-
A language for compositional specification and verification of finite state hardware controllers
-
b, North-Holland, Amsterdam.
-
CLARKE, E. M., LONG, D. E., AND MCMILLAN, K. L 1989b. A language for compositional specification and verification of finite state hardware controllers. In Proceedings of the 9th International Symposium on Computer Hardware Description Languages and their Applications. North-Holland, Amsterdam.
-
(1989)
Proceedings of the 9th International Symposium on Computer Hardware Description Languages and their Applications
-
-
CLARKE, E.M.1
LONG, D.E.2
MCMILLAN, K.L.3
-
8
-
-
0025494721
-
Tableau-based model checking in the propositional mu-calculus
-
CLEAVELAND, R. 1990. Tableau-based model checking in the propositional mu-calculus. Acta Informatica 27, 8, 725-747.
-
(1990)
Acta Informatica
, vol.27
, Issue.8
, pp. 725-747
-
-
CLEAVELAND, R.1
-
9
-
-
0025595037
-
When is “partial” adequate. A logic-based proof technique using partial specifications
-
IEEE Computer Society Press, Los Alamitos, Calif.
-
CLEAVELAND, R., AND STEFFEN, B. 1990. When is “partial” adequate. A logic-based proof technique using partial specifications. In Proceedings of the 5th Annual Symposium on Logic in Computer Science. IEEE Computer Society Press, Los Alamitos, Calif.
-
(1990)
Proceedings of the 5th Annual Symposium on Logic in Computer Science
-
-
CLEAVELAND, R.1
STEFFEN, B.2
-
10
-
-
0039693821
-
The concurrency workbench
-
(Grenoble France). Lecture Notes in Computer Science, vol 407. Springer-Verlag, New York
-
CLEAVELAND, R., PARROW, J., AND STEFFEN, B. 1989. The concurrency workbench. In Proceedings of the 1989 International Workshop on Automatic Verification Methods for Finite State Systems (Grenoble France). Lecture Notes in Computer Science, vol 407. Springer-Verlag, New York.
-
(1989)
Proceedings of the 1989 International Workshop on Automatic Verification Methods for Finite State Systems
-
-
CLEAVELAND, R.1
PARROW, J.2
STEFFEN, B.3
-
11
-
-
0011589477
-
Verifying temporal properties of sequential machines without building their state diagrams
-
ACM, New York.
-
COUDERT, O., BERTHET, C., AND MADRE, J. C 1990. Verifying temporal properties of sequential machines without building their state diagrams. In Proceedings of the 1990 Workshop on Computer-Aided Verification. ACM, New York.
-
(1990)
Proceedings of the 1990 Workshop on Computer-Aided Verification
-
-
COUDERT, O.1
BERTHET, C.2
MADRE, J.C.3
-
13
-
-
0022514018
-
Sometimes” and “Not Never revisited: On branching time versus linear time
-
EMERSON, E. A., AND HALPERN, J. Y. 1986. “Sometimes” and “Not Never” revisited: On branching time versus linear time. J. ACM 33 1, 151-178.
-
(1986)
J. ACM
, vol.33
, Issue.1
, pp. 151-178
-
-
EMERSON, E.A.1
HALPERN, J.Y.2
-
14
-
-
0022956502
-
Efficient model checking in fragments of the propositional mu-calculus
-
IEEE Computer Society Press, Los Alamitos, Calif.
-
EMERSON, E. A., AND LEI, C.-L. 1986. Efficient model checking in fragments of the propositional mu-calculus. In Proceedings of the 1st Annual Symposium on Logic in Computer Science IEEE Computer Society Press, Los Alamitos, Calif.
-
(1986)
Proceedings of the 1st Annual Symposium on Logic in Computer Science
-
-
EMERSON, E.A.1
LEI, C.-L.2
-
16
-
-
0003620778
-
-
Addison-Wesley, Reading, Mass.
-
HOPCROFT, J. E., AND ULLMAN, J. D. 1979 Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, Mass.
-
(1979)
Introduction to Automata Theory, Languages, and Computation
-
-
HOPCROFT, J.E.1
ULLMAN, J.D.2
-
17
-
-
0010401501
-
Verifying the correctness of AADL-modules using model checking
-
Lecture Notes in Computer Science, Springer-Verlag, New York
-
JOSKO, B. 1989. Verifying the correctness of AADL-modules using model checking. In Proceedings of the REX Workshop on Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness. Lecture Notes in Computer Science, vol. 430. Springer-Verlag, New York.
-
(1989)
Proceedings of the REX Workshop on Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness
, vol.430
-
-
JOSKO, B.1
-
18
-
-
0042665323
-
Analysis of discrete event coordination
-
Lecture Notes in Computer Science, vol 430. Springer-Verlag, New York
-
KURSHAN, R. P. 1989. Analysis of discrete event coordination. In Proceedings of the REX Workshop on Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness. Lecture Notes in Computer Science, vol 430. Springer-Verlag, New York.
-
(1989)
Proceedings of the REX Workshop on Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness
-
-
KURSHAN, R.P.1
-
22
-
-
0003630836
-
-
Lecture Notes in Computer Science, Springer-Verlag, New York
-
MILNER, R. 1980. A Calculus of Communicating Systems. Lecture Notes in Computer Science, vol. 92. Springer-Verlag, New York.
-
(1980)
A Calculus of Communicating Systems
, vol.92
-
-
MILNER, R.1
-
24
-
-
0038357007
-
In transition for global to modular temporal reasoning about programs
-
NATO ASI Series. Series F, Computer and System Sciences, Springer-Verlag, New York
-
PNUELI, A. 1984. In transition for global to modular temporal reasoning about programs. In Logics and Models of Concurrent Systems. NATO ASI Series. Series F, Computer and System Sciences, vol. 13. Springer-Verlag, New York.
-
(1984)
Logics and Models of Concurrent Systems
, vol.13
-
-
PNUELI, A.1
-
26
-
-
0001336244
-
Network grammars, communication behaviors and automatic verification
-
(Grenoble, France). Lecture Notes in Computer Science, vol. 407. Springer-Verlag, New York
-
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). Lecture Notes in Computer Science, vol. 407. Springer-Verlag, New York
-
(1989)
Proceedings of the 1989 International Workshop on Automatic Verification Methods for Finite State Systems
-
-
SHTADLER, Z.1
GRUMBERG, O.2
-
27
-
-
3042963833
-
The modular framework of computer-aided verification: Motivation, solutions and evaluation criteria
-
ACM, New York.
-
SHUREK, G., AND GRUMBERG, O. 1990. The modular framework of computer-aided verification: Motivation, solutions and evaluation criteria. In Proceedings of the 1990 Workshop on Computer-Aided Verification. ACM, New York.
-
(1990)
Proceedings of the 1990 Workshop on Computer-Aided Verification
-
-
SHUREK, G.1
GRUMBERG, O.2
-
31
-
-
0020496645
-
Temporal logic can be more expressive
-
56, 1/2 (Jan./Feb.)
-
WOLPER, P. 1983. Temporal logic can be more expressive. Inf. Contr. 56, 1/2 (Jan./Feb.), 72-99.
-
(1983)
Inf. Contr.
, pp. 72-99
-
-
WOLPER, P.1
|