메뉴 건너뛰기




Volumn 63, Issue 1, 2004, Pages 65-87

ACTLS properties and bounded model checking

Author keywords

Bounded model checking; Bounded semantics; Logic ACTLS*(ECTLS*); Translation to SAT

Indexed keywords

CODES (SYMBOLS); FUNCTIONS;

EID: 24044491947     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article
Times cited : (27)

References (33)
  • 15
    • 84944063124 scopus 로고    scopus 로고
    • Bounded reachability checking with process semantics
    • LNCS 2154, Springer-Verlag
    • Heljanko, K.: Bounded Reachability Checking with Process Semantics, Proc. of the Int. Conf. on Concurrency Theory (CONCUR'01), LNCS 2154, Springer-Verlag, 2001, 218-232.
    • (2001) Proc. of the Int. Conf. on Concurrency Theory (CONCUR'01) , pp. 218-232
    • Heljanko, K.1
  • 21
    • 0008900008 scopus 로고    scopus 로고
    • Partial order reduction: Linear and branching temporal logics and process algebras
    • Amer. Math. Soc.
    • Peled, D.: Partial Order Reduction: Linear and Branching Temporal Logics and Process Algebras, Proc. of Partial Order Methods in Verification (POMIV'96), 29, Amer. Math. Soc., 1996, 79-88.
    • (1996) Proc. of Partial Order Methods in Verification (POMIV'96) , vol.29 , pp. 79-88
    • Peled, D.1
  • 23
    • 0005748879 scopus 로고    scopus 로고
    • Improving partial order reductions for universal branching time properties
    • Penczek, W., Szreter, M., Gerth, R., Kuiper, R.: Improving Partial Order Reductions for Universal Branching Time Properties, Fundamenta Informaticae, 43, 2000, 245-267.
    • (2000) Fundamenta Informaticae , vol.43 , pp. 245-267
    • Penczek, W.1    Szreter, M.2    Gerth, R.3    Kuiper, R.4
  • 24
    • 0036600797 scopus 로고    scopus 로고
    • Bounded model checking for the universal fragment of CTL
    • Penczek, W., Woźna, B., Zbrzezny, A.: Bounded Model Checking for the Universal Fragment of CTL, Fundamenta Informaticae, 51(1-2), 2002, 135-156.
    • (2002) Fundamenta Informaticae , vol.51 , Issue.1-2 , pp. 135-156
    • Penczek, W.1    Woźna, B.2    Zbrzezny, A.3
  • 27
    • 0035135204 scopus 로고    scopus 로고
    • Analysis of timed systems using time-abstracting bisimulations
    • Tripakis, S., Yovine, S.: Analysis of Timed Systems Using Time-Abstracting Bisimulations, Formal Methods in System Design, 18(1), 2001, 25-68.
    • (2001) Formal Methods in System Design , vol.18 , Issue.1 , pp. 25-68
    • Tripakis, S.1    Yovine, S.2
  • 33
    • 0037898244 scopus 로고    scopus 로고
    • Checking reachability properties for timed automata via SAT
    • Woźna, B., Zbrzezny, A., Penczek, W.: Checking Reachability Properties for Timed Automata via SAT, Fundamenta Informaticae, 55(2), 2003, 223-241.
    • (2003) Fundamenta Informaticae , vol.55 , Issue.2 , pp. 223-241
    • Woźna, B.1    Zbrzezny, A.2    Penczek, W.3


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