메뉴 건너뛰기




Volumn , Issue , 2002, Pages 139-148

Model exploration with temporal logic query checking

Author keywords

CTL; Multi valued model checking; Query checking

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LANGUAGES; QUERY LANGUAGES; REVERSE ENGINEERING;

EID: 0038687541     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/605466.605488     Document Type: Conference Paper
Times cited : (20)

References (18)
  • 3
    • 0004459024 scopus 로고    scopus 로고
    • 3: Towards usability of formal methods
    • November
    • 3: Towards Usability of Formal Methods". In Proceedings of CASCON'98, pages 177-191, November 1998.
    • (1998) Proceedings of CASCON'98 , pp. 177-191
    • Chechik, M.1
  • 6
    • 0022706656 scopus 로고
    • Automatic verification of finite-state concurrent systems using temporal logic specifications
    • April
    • E. Clarke, E. Emerson, and A. Sistla. "Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications". ACM Transactions on Programming Languages and Systems, 8(22):244-263, April 1986.
    • (1986) ACM Transactions on Programming Languages and Systems , vol.8 , Issue.2 , pp. 244-263
    • Clarke, E.1    Emerson, E.2    Sistla, A.3
  • 8
    • 0035020261 scopus 로고    scopus 로고
    • A framework for multi-valued reasoning over inconsistent viewpoints
    • Toronto, Canada, May; IEEE Computer Society Press
    • S. Easterbrook and M. Chechik. "A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints". In Proceedings of International Conference on Software Engineering (ICSE'01), pages 411-420, Toronto, Canada, May 2001. IEEE Computer Society Press.
    • (2001) Proceedings of International Conference on Software Engineering (ICSE'01) , pp. 411-420
    • Easterbrook, S.1    Chechik, M.2
  • 11
    • 26344448206 scopus 로고    scopus 로고
    • Temporal logic query checking through multi-valued model checking
    • CSRG Technical Report 457, University of Toronto, Department of Computer Science, March
    • A. Gurfinkel, B. Devereux, and M. Chechik. "Temporal Logic Query Checking through Multi-Valued Model Checking". CSRG Technical Report 457, University of Toronto, Department of Computer Science, March 2002.
    • (2002)
    • Gurfinkel, A.1    Devereux, B.2    Chechik, M.3
  • 15
    • 0034828454 scopus 로고    scopus 로고
    • An algorithm for strengthening state invariants generated from requirements specifications
    • Toronto, Canada, August; IEEE Computer Society
    • R. Jeffords and C. Heitmeyer. "An Algorithm for Strengthening State Invariants Generated from Requirements Specifications". In Proceedings of 5th IEEE International Symposium on Requirements Engineering (RE'01), pages 182-191, Toronto, Canada, August 2001. IEEE Computer Society.
    • (2001) Proceedings of 5th IEEE International Symposium on Requirements Engineering (RE'01) , pp. 182-191
    • Jeffords, R.1    Heitmeyer, C.2
  • 16
    • 0003992778 scopus 로고
    • Example NRL/SCR software requirements for an automobile cruise control and monitoring system
    • Technical report, Wang Institute of Graduate Studies, October; Revision 2.0 by Skip Osborne and Aaron Temin.
    • J. Kirby. "Example NRL/SCR Software Requirements for an Automobile Cruise Control and Monitoring System". Technical report, Wang Institute of Graduate Studies, October 1988. Revision 2.0 by Skip Osborne and Aaron Temin.
    • (1988)
    • Kirby, J.1
  • 17
    • 0001667648 scopus 로고    scopus 로고
    • An automata-theoretic approach to branching-time model checking
    • March
    • O. Kupferman, M. Vardi, and P. Wolper. "An Automata-Theoretic Approach to Branching-Time Model Checking". Journal of the ACM, 27(2):312-360, March 2000.
    • (2000) Journal of the ACM , vol.27 , Issue.2 , pp. 312-360
    • Kupferman, O.1    Vardi, M.2    Wolper, P.3


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