메뉴 건너뛰기




Volumn 2761, Issue , 2003, Pages 251-265

Model checking a path (preliminary report)

Author keywords

[No Author keywords available]

Indexed keywords

TEMPORAL LOGIC;

EID: 35248852800     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45187-7_17     Document Type: Article
Times cited : (65)

References (26)
  • 2
    • 33847702424 scopus 로고    scopus 로고
    • Bounded model checking
    • Highly Dependable Software, Academic Press, To appear
    • A. Biere, A. Cimatti, E. M. Clarke, O. Strichman, and Yunshan Zhu. Bounded model checking. In Highly Dependable Software, volume 58 of Advances in Computers. Academic Press, 2003. To appear.
    • (2003) Advances in Computers , vol.58
    • Biere, A.1    Cimatti, A.2    Clarke, E.M.3    Strichman, O.4    Zhu, Y.5
  • 5
    • 84947290593 scopus 로고    scopus 로고
    • The Temporal Rover and the ATG Rover
    • SPIN Model Checking and Software Verification, Proc. 7th Int. SPIN Workshop, Stanford, CA, USA, Aug. 2000, Springer
    • D. Drusinsky. The Temporal Rover and the ATG Rover. In SPIN Model Checking and Software Verification, Proc. 7th Int. SPIN Workshop, Stanford, CA, USA, Aug. 2000, volume 1885 of Lecture Notes in Computer Science, pages 323-330. Springer, 2000.
    • (2000) Lecture Notes in Computer Science , vol.1885 , pp. 323-330
    • Drusinsky, D.1
  • 6
    • 0037052274 scopus 로고    scopus 로고
    • The complexity of prepositional linear temporal logics in simple cases
    • S. Demri and Ph. Schnoebelen. The complexity of prepositional linear temporal logics in simple cases. Information and Computation, 174(1):84-103, 2002.
    • (2002) Information and Computation , vol.174 , Issue.1 , pp. 84-103
    • Demri, S.1    Schnoebelen, Ph.2
  • 7
    • 0001449325 scopus 로고
    • Temporal and modal logic
    • J. van Leeuwen, editor, chapter 16, Elsevier Science
    • E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 16, pages 995-1072. Elsevier Science, 1990.
    • (1990) Handbook of Theoretical Computer Science , vol.B , pp. 995-1072
    • Emerson, E.A.1
  • 8
    • 11344251425 scopus 로고    scopus 로고
    • Checking finite traces using alternating automata
    • Proc. 1st Int. Workshop on Runtime Verification (RV'01), Paris, France, DK, July 2001, Elsevier Science
    • B. Finkbeiner and H. Sipma. Checking finite traces using alternating automata. In Proc. 1st Int. Workshop on Runtime Verification (RV'01), Paris, France, DK, July 2001, volume 55(2) of Electronic Notes in Theor. Comp. Sci. Elsevier Science, 2001.
    • (2001) Electronic Notes in Theor. Comp. Sci. , vol.55 , Issue.2
    • Finkbeiner, B.1    Sipma, H.2
  • 11
    • 84947232527 scopus 로고    scopus 로고
    • Using runtime analysis to guide model checking of Java programs
    • SPIN Model Checking and Software Verification, Proc. 7th Int. SPIN Workshop, Stanford, CA, USA, Aug. 2000, Springer
    • K. Havelund. Using runtime analysis to guide model checking of Java programs. In SPIN Model Checking and Software Verification, Proc. 7th Int. SPIN Workshop, Stanford, CA, USA, Aug. 2000, volume 1885 of Lecture Notes in Computer Science, pages 245-264. Springer, 2000.
    • (2000) Lecture Notes in Computer Science , vol.1885 , pp. 245-264
    • Havelund, K.1
  • 13
    • 0037088945 scopus 로고    scopus 로고
    • On the complexity of verifying concurrent transition systems
    • D. Harel, O. Kupferman, and M.Y. Vardi. On the complexity of verifying concurrent transition systems. Information and Computation, 173(2):143-161, 2002.
    • (2002) Information and Computation , vol.173 , Issue.2 , pp. 143-161
    • Harel, D.1    Kupferman, O.2    Vardi, M.Y.3
  • 15
    • 84943275750 scopus 로고    scopus 로고
    • Approximate verification of probabilistic systems
    • Proc. 2nd Joint Int. Workshop Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM-PROBMIV'2002), Copenhagen, Denmark, July 2002, Springer
    • R. Lassaigne and S. Peyronnet. Approximate verification of probabilistic systems. In Proc. 2nd Joint Int. Workshop Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM-PROBMIV'2002), Copenhagen, Denmark, July 2002, volume 2399 of Lecture Notes in Computer Science, pages 213-214. Springer, 2002.
    • (2002) Lecture Notes in Computer Science , vol.2399 , pp. 213-214
    • Lassaigne, R.1    Peyronnet, S.2
  • 16
    • 18944384818 scopus 로고    scopus 로고
    • Past is for free: On the complexity of verifying linear temporal properties with past
    • Proc. 9th Int. Workshop on Expressiveness in Concurrency (EXPRESS'2002), Brno, Czech Republic, Aug. 2002, volume 68.2 Elsevier Science
    • N. Markey. Past is for free: on the complexity of verifying linear temporal properties with past. In Proc. 9th Int. Workshop on Expressiveness in Concurrency (EXPRESS'2002), Brno, Czech Republic, Aug. 2002, volume 68.2 of Electronic Notes in Theor. Camp. Sci. Elsevier Science, 2002.
    • (2002) Electronic Notes in Theor. Camp. Sci.
    • Markey, N.1
  • 18
    • 1442357683 scopus 로고    scopus 로고
    • Complexity of language recognition problems for compressed words
    • J. Karhumaki, H. Maurer, G. Pǎun, and G. Rozenberg, editors, Springer
    • W. Plandowski and W. Rytter. Complexity of language recognition problems for compressed words. In J. Karhumaki, H. Maurer, G. Pǎun, and G. Rozenberg, editors, Jewels are Forever, pages 262-272. Springer, 1999.
    • (1999) Jewels Are Forever , pp. 262-272
    • Plandowski, W.1    Rytter, W.2
  • 19
    • 23044533237 scopus 로고    scopus 로고
    • Expressive power of temporal logics
    • Proc. 13th Int. Conf. Concurrency Theory (CONCUR'2002), Brno, Czech Republic, Aug. 2002, Springer
    • A. Rabinovich. Expressive power of temporal logics. In Proc. 13th Int. Conf. Concurrency Theory (CONCUR'2002), Brno, Czech Republic, Aug. 2002, volume 2421 of Lecture Notes in Computer Science, pages 57-75. Springer, 2002.
    • (2002) Lecture Notes in Computer Science , vol.2421 , pp. 57-75
    • Rabinovich, A.1
  • 23
    • 0022092438 scopus 로고
    • The complexity of prepositional linear temporal logics
    • A.P. Sistla and E.M. Clarke. The complexity of prepositional linear temporal logics. Journal of the ACM, 32(3):733-749, 1985.
    • (1985) Journal of the ACM , vol.32 , Issue.3 , pp. 733-749
    • Sistla, A.P.1    Clarke, E.M.2
  • 26
    • 84921391802 scopus 로고    scopus 로고
    • Probabilistic verification of discrete event systems using acceptance sampling
    • Proc. 14th Int. Conf. Computer Aided Verification (CAV'2002), Copenhagen, Denmark, July 2002, Springer
    • H.L.S. Younes and R.G. Simmons. Probabilistic verification of discrete event systems using acceptance sampling. In Proc. 14th Int. Conf. Computer Aided Verification (CAV'2002), Copenhagen, Denmark, July 2002, volume 2404 of Lecture Notes in Computer Science, pages 223-235. Springer, 2002.
    • (2002) Lecture Notes in Computer Science , vol.2404 , pp. 223-235
    • Younes, H.L.S.1    Simmons, R.G.2


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