메뉴 건너뛰기




Volumn 1853, Issue , 2000, Pages 429-450

Alternating the temporal picture for safety

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY;

EID: 84974623717     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45022-x_37     Document Type: Conference Paper
Times cited : (10)

References (17)
  • 2
    • 0034206420 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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
  • 6
    • 0002159880 scopus 로고    scopus 로고
    • 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
  • 9
    • 85032172711 scopus 로고
    • 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
  • 10
  • 12
    • 0024140989 scopus 로고
    • 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
  • 17
    • 84878592842 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.