-
1
-
-
0346353138
-
-
Technical Report STAN-CS-TR-95-1562, Computer Science Department, Stanford University, November 1995
-
N.S. Bjørner, A. Browne, E.S. Chang, M. Colón, A. Kapur, Z. Manna, B. Sipma, and T.E. Uribe. STeP: The Stanford Temporal Prover, User’s Manual. Technical Report STAN-CS-TR-95-1562, Computer Science Department, Stanford University, November 1995. available from http://www-step.stanford.edu/
-
Step: The Stanford Temporal Prover, User’s Manual
-
-
Bjørner, N.S.1
Browne, A.2
Chang, E.S.3
Colón, M.4
Kapur, A.5
Manna, Z.6
Sipma, B.7
Uribe, T.E.8
-
2
-
-
0034206420
-
Verifying temporal properties of reactive systems: A STeP tutorial. Formal Methods in System
-
N.S. Bjørner, A. Browne, M. Colón, B. Finkbeiner, Z. Manna, H.B. Sipma, and T.E. Uribe. Verifying temporal properties of reactive systems: A STeP tutorial. Formal Methods in System, Design, 16(3):227-270, June 2000.
-
(2000)
Design
, vol.16
, Issue.3
, pp. 227-270
-
-
Bjørner, N.S.1
Browne, A.2
Colón, M.3
Finkbeiner, B.4
Manna, Z.5
Sipma, H.B.6
Uribe, T.E.7
-
3
-
-
0031079312
-
Automatic generation of invariants and intermediate assertions
-
st Intl. Conf. on Principles and Practice of Constraint Programming, vol. 976 of LNCS, pp. 589-623, Springer-Verlag
-
st Intl. Conf. on Principles and Practice of Constraint Programming, vol. 976 of LNCS, pp. 589-623, Springer-Verlag, 1995.
-
(1995)
Theoretical Computer Science
, vol.173
, Issue.1
, pp. 49-87
-
-
Bjørner, N.S.1
Browne, A.2
Manna, Z.3
-
4
-
-
84957868415
-
Generalized temporal verification diagrams
-
Springer-Verlag
-
A. Browne, Z. Manna, and H.B. Sipma. Generalized temporal verification diagrams. In 15th Conference on the Foundations of Software Technology and Theoretical Computer Science, vol. 1026 of Lecture Notes in Computer Science, pages 484-498. Springer-Verlag, 1995.
-
(1995)
15Th Conference on the Foundations of Software Technology and Theoretical Computer Science, Vol. 1026 of Lecture Notes in Computer Science
, pp. 484-498
-
-
Browne, A.1
Manna, Z.2
Sipma, H.B.3
-
6
-
-
0002159880
-
Verification of temporal properties
-
O. Grumberg and L. Fix. Verification of temporal properties. Logic and Computation, 6(3):343-361, June 1996
-
(1996)
Logic and Computation
, vol.6
, Issue.3
, pp. 343-361
-
-
Grumberg, O.1
Fix, L.2
-
7
-
-
84958967738
-
Visual abstractions for temporal verification
-
A. Haeberer, editor, Springer-Verlag, December
-
Z. Manna, A. Browne, H.B. Sipma, and T.E. Uribe. Visual abstractions for temporal verification. In A. Haeberer, editor, Algebraic Methodology and Software Technology (AMAST’98), vol. 1548 of Lecture Notes in Computer Science, pages 28-41. Springer-Verlag, December 1998.
-
(1998)
Algebraic Methodology and Software Technology (AMAST’98), Vol. 1548 of Lecture Notes in Computer Science
, pp. 28-41
-
-
Manna, Z.1
Browne, A.2
Sipma, H.B.3
Uribe, T.E.4
-
9
-
-
85032172711
-
Specification and verification of concurrent programs by ∀-automata
-
B. Banieqbal, H. Barringer, and A. Pnueli, editors, Springer-Verlag, Berlin, 1987. Also in Proc. 14th ACM Symp. Princ. of Prog. Lang., Munich, Germany
-
Z. Manna and A. Pnueli. Specification and verification of concurrent programs by ∀-automata. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Temporal Logic in Specification, number 398 in Lecture Notes in Computer Science, pages 124-164. Springer-Verlag, Berlin, 1987. Also in Proc. 14th ACM Symp. Princ. of Prog. Lang., Munich, Germany, pp. 1-12, January 1987.
-
(1987)
Temporal Logic in Specification, Number 398 in Lecture Notes in Computer Science
, pp. 124-164
-
-
Manna, Z.1
Pnueli, A.2
-
12
-
-
0024140989
-
Weak alternating automata give a simple explanation of why most temporal and dynamic logics are decidable in exponential time
-
D.E. Muller, A. Saoudi, and P.E. Schupp. Weak alternating automata give a simple explanation of why most temporal and dynamic logics are decidable in exponential time. In Proc. 3rd IEEE Symp. Logic in Comp. Sci., pages 422-427, 1988.
-
(1988)
Proc. 3Rd IEEE Symp. Logic in Comp. Sci
, pp. 422-427
-
-
Muller, D.E.1
Saoudi, A.2
Schupp, P.E.3
-
13
-
-
85026730847
-
Nontraditional applications of automata theory
-
M. Hagiya and J.C. Mitchell, Editors, Springer-Verlag
-
MY. Vardi. Nontraditional applications of automata theory. In M. Hagiya and J.C. Mitchell, editors, Proc. International Symposium on Theoretical Aspects of Computer Software, vol. 789 of Lecture Notes in Computer Science, pages 575-597. Springer-Verlag, 1994.
-
(1994)
Proc. International Symposium on Theoretical Aspects of Computer Software, Vol. 789 of Lecture Notes in Computer Science
, pp. 575-597
-
-
Vardi, M.Y.1
-
14
-
-
0041405537
-
Alternating automata and program verification
-
J. van Leeuwen, editor, Springer-Verlag
-
M.Y. Vardi. Alternating automata and program verification. In J. van Leeuwen, editor, Computer Science Today. Recent Trends and Developments, vol. 1000 of Lecture Notes in Computer Science, pages 471-485. Springer-Verlag, 1995.
-
(1995)
Computer Science Today. Recent Trends and Developments, Vol. 1000 of Lecture Notes in Computer Science
, pp. 471-485
-
-
Vardi, M.Y.1
-
15
-
-
84947731286
-
An automata-theoretic approach to linear temporal logic
-
F. Moller and G. Birtwistle, editors, Springer-Verlag
-
M.Y. Vardi. An automata-theoretic approach to linear temporal logic. In F. Moller and G. Birtwistle, editors, Logics for Concurrency. Structure versus Automata, vol. 1043 of Lecture Notes in Computer Science, pages 238-266. Springer-Verlag, 1996.
-
(1996)
Logics for Concurrency. Structure versus Automata, Vol. 1043 of Lecture Notes in Computer Science
, pp. 238-266
-
-
Vardi, M.Y.1
-
17
-
-
84878592842
-
Reasoning about the past with two-way automata
-
K. Larsen, S. Skyum, and G. Winskel, editors, Aalborg, Denmark, Springer-Verlag
-
M.Y. Vardi. Reasoning about the past with two-way automata. In K. Larsen, S. Skyum, and G. Winskel, editors, Proc. 25th Intl. Colloq. Aut. Lang. Prog., Lecture Notes in Computer Science, pages 628-641, Aalborg, Denmark, Springer-Verlag
-
Proc. 25Th Intl. Colloq. Aut. Lang. Prog., Lecture Notes in Computer Science
, pp. 628-641
-
-
Vardi, M.Y.1
|