메뉴 건너뛰기




Volumn , Issue , 2006, Pages 419-425

Model checking procedures for infinite state systems

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; NETWORK PROTOCOLS; STATISTICAL METHODS; SYSTEMS ANALYSIS; TEMPORAL LOGIC;

EID: 34250005253     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2006.46     Document Type: Conference Paper
Times cited : (2)

References (16)
  • 2
    • 0028413052 scopus 로고
    • A theory of timed automata
    • 25 Apr
    • R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2): 183-235, 25 Apr. 1994.
    • (1994) Theoretical Computer Science , vol.126 , Issue.2 , pp. 183-235
    • Alur, R.1    Dill, D.L.2
  • 8
    • 85050550846 scopus 로고
    • Abstract intrepretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
    • Los Angeles, CA, Jan
    • P. Cousot and R. Cousot. Abstract intrepretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the 4th ACM Symposium on Principles of Programming Languages, pages 238-252, Los Angeles, CA, Jan. 1977.
    • (1977) Conference Record of the 4th ACM Symposium on Principles of Programming Languages , pp. 238-252
    • Cousot, P.1    Cousot, R.2


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