메뉴 건너뛰기
Electronic Notes in Theoretical Computer Science
Volumn 174, Issue 8, 2007, Pages 39-54
Applications of Hierarchical Reasoning in the Verification of Complex Systems
Author keywords

Combinations of decision procedures; Hierarchical reasoning; Verification
Indexed keywords

COMPUTER SCIENCE; CONTROL SYSTEM ANALYSIS; LARGE SCALE SYSTEMS; MODEL CHECKING; VERIFICATION;
EID: 34249871093     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.11.038     Document Type: Article
Times cited : (20)
References (9)
  • 1
    • 33745653311 scopus 로고    scopus 로고
    • What's decidable about arrays?
    • Verification, Model-Checking, and Abstract-Interpretation, 7th Int. Conf. Emerson E., and Namjoshi K. (Eds). (VMCAI 2006), Springer
    • Bradley A., Manna Z., and Sipma H. What's decidable about arrays?. In: Emerson E., and Namjoshi K. (Eds). Verification, Model-Checking, and Abstract-Interpretation, 7th Int. Conf. (VMCAI 2006). LNCS 3855 (2006), Springer 427-442
    • (2006) LNCS , vol.3855 , pp. 427-442
    • Bradley, A.1    Manna, Z.2    Sipma, H.3
  • 2
    • 0002443040 scopus 로고    scopus 로고
    • Redlog: Computer algebra meets computer logic
    • Dolzmann A., and Sturm T. Redlog: Computer algebra meets computer logic. ACM SIGSAM Bulletin 31 2 (1997) 2-9
    • (1997) ACM SIGSAM Bulletin , vol.31 , Issue.2 , pp. 2-9
    • Dolzmann, A.1    Sturm, T.2
  • 3
    • 34249908567 scopus 로고    scopus 로고
    • J. Faber. Verifying real-time aspects of the European Train Control System. In Proceedings of the 17th Nordic Workshop on Programming Theory, pp. 67-70. University of Copenhagen, Denmark, 2005
  • 5
    • 9444252425 scopus 로고    scopus 로고
    • Model theoretic methods in combined constraint satisfiability
    • Ghilardi S. Model theoretic methods in combined constraint satisfiability. Journal of Automated Reasoning 33 3-4 (2004) 221-249
    • (2004) Journal of Automated Reasoning , vol.33 , Issue.3-4 , pp. 221-249
    • Ghilardi, S.1
  • 6
    • 26444435643 scopus 로고    scopus 로고
    • Data structure specifications via local equality axioms
    • Computer Aided Verification, 17th International Conference. Etessami K., and Rajamani S. (Eds). CAV 2005
    • McPeak S., and Necula G. Data structure specifications via local equality axioms. In: Etessami K., and Rajamani S. (Eds). Computer Aided Verification, 17th International Conference. CAV 2005. LNCS 3576 (2005) 476-490
    • (2005) LNCS , vol.3576 , pp. 476-490
    • McPeak, S.1    Necula, G.2
  • 8
    • 26944460408 scopus 로고    scopus 로고
    • Hierarchic reasoning in local theory extensions
    • Automated deduction - CADE-20. Proceedings of the 20th International Conference on Automated Deduction. Nieuwenhuis R. (Ed), Springer
    • Sofronie-Stokkermans V. Hierarchic reasoning in local theory extensions. In: Nieuwenhuis R. (Ed). Automated deduction - CADE-20. Proceedings of the 20th International Conference on Automated Deduction. LNCS 3632 (2005), Springer 219-234
    • (2005) LNCS , vol.3632 , pp. 219-234
    • Sofronie-Stokkermans, V.1
  • 9
    • 33749554178 scopus 로고    scopus 로고
    • Interpolation in local theory extensions
    • Automated Reasoning. Third International Joint Conference. Furbach U., and Shankar N. (Eds). IJCAR 2006, Springer
    • Sofronie-Stokkermans V. Interpolation in local theory extensions. In: Furbach U., and Shankar N. (Eds). Automated Reasoning. Third International Joint Conference. IJCAR 2006. LNAI 4130 (2006), Springer 235-250
    • (2006) LNAI , vol.4130 , pp. 235-250
    • Sofronie-Stokkermans, V.1

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