메뉴 건너뛰기




Volumn 4590 LNCS, Issue , 2007, Pages 406-419

From liveness to promptness

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING; MODEL CHECKING; PROBLEM SOLVING;

EID: 38149134374     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73368-3_44     Document Type: Conference Paper
Times cited : (14)

References (17)
  • 1
    • 27644510684 scopus 로고    scopus 로고
    • Parametric temporal logic for model measuring
    • Alur, R., Etessami, K., Torre, S.L., Peled, D.: Parametric temporal logic for model measuring. ACM ToCL 2(3), 388-107 (2001)
    • (2001) ACM ToCL , vol.2 , Issue.3 , pp. 388-107
    • Alur, R.1    Etessami, K.2    Torre, S.L.3    Peled, D.4
  • 4
    • 84987599101 scopus 로고    scopus 로고
    • Beer, I., Ben-David, S., Geist, D., Gewirtzman, R., Yoeli, M.: Methodology and system for practical formal verification of reactive hardware. In: Dill, D.L. (ed.) CAV 1994. LNCS, 818, pp. 182-193. Springer, Heidelberg (1994)
    • Beer, I., Ben-David, S., Geist, D., Gewirtzman, R., Yoeli, M.: Methodology and system for practical formal verification of reactive hardware. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol. 818, pp. 182-193. Springer, Heidelberg (1994)
  • 5
    • 84947241825 scopus 로고    scopus 로고
    • An algorithm for strongly connected component analysis in n log n symbolic steps
    • Johnson, S.D, Hunt, Jr, W.A, eds, FMCAD 2000, Springer, Heidelberg
    • Bloem, R., Gabow, H.N., Somenzi, F.: An algorithm for strongly connected component analysis in n log n symbolic steps. In: Johnson, S.D., Hunt, Jr., W.A. (eds.) FMCAD 2000. LNCS, vol. 1954, pp. 37-54. Springer, Heidelberg (2000)
    • (2000) LNCS , vol.1954 , pp. 37-54
    • Bloem, R.1    Gabow, H.N.2    Somenzi, F.3
  • 6
    • 84968476508 scopus 로고
    • Solving sequential conditions by finite-state strategies
    • Büchi, J.R., Landweber, L.HG.: Solving sequential conditions by finite-state strategies. Trans. AMS 138, 295-311 (1969)
    • (1969) Trans. AMS , vol.138 , pp. 295-311
    • Büchi, J.R.1    Landweber, L.H.2
  • 8
    • 0022956502 scopus 로고
    • Efficient model checking in fragments of the propositional μ-calculus
    • Emerson, E.A., Lei, C.-L.: Efficient model checking in fragments of the propositional μ-calculus. In: Proc. 1st LICS, pp. 267-278 (1986)
    • (1986) Proc. 1st LICS , pp. 267-278
    • Emerson, E.A.1    Lei, C.-L.2
  • 9
    • 84969334919 scopus 로고    scopus 로고
    • Emerson, E.A., Mok, A.K., Sistla, A.P., Srinivasan, J.: Quantitative temporal reasoning. In: Clarke, E., Kurshan, R.P. (eds.) CAV 1990. LNCS, 531, pp. 136-145. Springer, Heidelberg (1991)
    • Emerson, E.A., Mok, A.K., Sistla, A.P., Srinivasan, J.: Quantitative temporal reasoning. In: Clarke, E., Kurshan, R.P. (eds.) CAV 1990. LNCS, vol. 531, pp. 136-145. Springer, Heidelberg (1991)
  • 11
    • 85047040703 scopus 로고
    • The temporal logic of programs
    • Pnueli, A.: The temporal logic of programs. In: Proc. 18th FOCS, pp. 46-57 (1977)
    • (1977) Proc. 18th FOCS , pp. 46-57
    • Pnueli, A.1
  • 12
    • 38149073840 scopus 로고    scopus 로고
    • Pnueli, A.: In: Transition from global to modular temporal reasoning about programs. Logics and Models of Concurrent Systems, F-13 of NATO Advanced Summer Institutes, pp. 123-144 (1985)
    • Pnueli, A.: In: Transition from global to modular temporal reasoning about programs. Logics and Models of Concurrent Systems, vol. F-13 of NATO Advanced Summer Institutes, pp. 123-144 (1985)
  • 13
    • 0024864157 scopus 로고
    • On the synthesis of a reactive module
    • Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: Proc. 16th POPL, pp. 179-190 (1989)
    • (1989) Proc. 16th POPL , pp. 179-190
    • Pnueli, A.1    Rosner, R.2
  • 14
    • 0001790593 scopus 로고
    • Depth first search and linear graph algorithms
    • Tarjan, R.E.: Depth first search and linear graph algorithms. SIAM Journal of Computing 1(2), 146-160 (1972)
    • (1972) SIAM Journal of Computing , vol.1 , Issue.2 , pp. 146-160
    • Tarjan, R.E.1
  • 15
    • 36349024585 scopus 로고    scopus 로고
    • Automata-theoretic model checking revisited
    • Cook, B, Podelski, A, eds, VMCAI 2007, Springer, Heidelberg
    • Vardi, M.Y.: Automata-theoretic model checking revisited. In: Cook, B., Podelski, A. (eds.) VMCAI 2007. LNCS, vol. 4349, pp. 137-150. Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4349 , pp. 137-150
    • Vardi, M.Y.1
  • 16
    • 0022987223 scopus 로고
    • An automata-theoretic approach to automatic program verification
    • Vardi, M.Y., Wolper, P.: An automata-theoretic approach to automatic program verification. In: Proc. 1st LICS, pp. 332-344 (1986)
    • (1986) Proc. 1st LICS , pp. 332-344
    • Vardi, M.Y.1    Wolper, P.2
  • 17
    • 0001909357 scopus 로고
    • Reasoning about infinite computations
    • Vardi, M.Y., Wolper, P.: Reasoning about infinite computations. I&C 115(1), 1-37 (1994)
    • (1994) I&C , vol.115 , Issue.1 , pp. 1-37
    • Vardi, M.Y.1    Wolper, P.2


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