메뉴 건너뛰기




Volumn 6981 LNCS, Issue , 2011, Pages 410-424

Verifying UML-RT protocol conformance using model checking

Author keywords

[No Author keywords available]

Indexed keywords

MESSAGE SEQUENCES; MODULAR DEVELOPMENT; SOFTWARE MODEL CHECKING; STATE MACHINE;

EID: 80054054519     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-24485-8_30     Document Type: Conference Paper
Times cited : (5)

References (24)
  • 1
    • 35048871556 scopus 로고    scopus 로고
    • SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft
    • Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. Springer, Heidelberg
    • Ball, T.,Cook, B., Levin,V.,Rajamani, S.K.: SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol. 2999, pp. 1-20. Springer, Heidelberg (2004)
    • (2004) LNCS , vol.2999 , pp. 1-20
    • Ball, T.1    Cook, B.2    Levin, V.3    Rajamani, S.K.4
  • 2
    • 0035783443 scopus 로고    scopus 로고
    • A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models
    • Vienna, Austria
    • Engels, G., Küster, J.M., Heckel, R., Groenewegen, L.: A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models. In: ESEC/FSE 2001, Vienna, Austria, pp. 186-195 (2001)
    • (2001) ESEC/FSE 2001 , pp. 186-195
    • Engels, G.1    Küster, J.M.2    Heckel, R.3    Groenewegen, L.4
  • 3
    • 11244321095 scopus 로고    scopus 로고
    • Model-Based Verification and Validation of Properties
    • Engels, G., Küster, J., Heckel, R., Lohmann, M.: Model-Based Verification and Validation of Properties. ENTCS 82(7), 133-150 (2003)
    • (2003) ENTCS , vol.82 , Issue.7 , pp. 133-150
    • Engels, G.1    Küster, J.2    Heckel, R.3    Lohmann, M.4
  • 4
    • 34748826163 scopus 로고    scopus 로고
    • Language Support for Fast and Reliable Message-Based Communication in Singularity OS
    • Fähndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G., Larus, J., Levi, S.: Language Support for Fast and Reliable Message-Based Communication in Singularity OS. In: EuroSys, pp. 177-190 (2006)
    • (2006) EuroSys , pp. 177-190
    • Fähndrich, M.1    Aiken, M.2    Hawblitzel, C.3    Hodson, O.4    Hunt, G.5    Larus, J.6    Levi, S.7
  • 5
    • 1542286895 scopus 로고    scopus 로고
    • Towards the Compositional Verification of Real-Time UML Designs
    • Giese, H., Tichy, M., Burmester, S., Flake, S.: Towards the Compositional Verification of Real-Time UML Designs. In: ESEC/FSE 2003, pp. 38-47 (2003)
    • (2003) ESEC/FSE 2003 , pp. 38-47
    • Giese, H.1    Tichy, M.2    Burmester, S.3    Flake, S.4
  • 6
    • 38049103379 scopus 로고    scopus 로고
    • Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic
    • Giordano, L., Martelli, A.: Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic. In: Artif. Intelligence and Human-Oriented Computing, pp. 145-156 (2007)
    • (2007) Artif. Intelligence and Human-Oriented Computing , pp. 145-156
    • Giordano, L.1    Martelli, A.2
  • 7
    • 0002160695 scopus 로고    scopus 로고
    • Language Primitives and Type Discipline for Structured Communication-Based Programming
    • Honda, K., Vasconcelos, V., Kubo, M.: Language Primitives and Type Discipline for Structured Communication-Based Programming. In: Programming Languages and Systems, pp. 33-37 (1998)
    • (1998) Programming Languages and Systems , pp. 33-37
    • Honda, K.1    Vasconcelos, V.2    Kubo, M.3
  • 8
    • 38349068551 scopus 로고    scopus 로고
    • Singularity: Rethinking the Software Stack
    • Hunt, G., Larus, J.: Singularity: Rethinking the Software Stack. SIGOPS Oper. Syst. Rev. 41(2), 37-49 (2007)
    • (2007) SIGOPS Oper. Syst. Rev. , vol.41 , Issue.2 , pp. 37-49
    • Hunt, G.1    Larus, J.2
  • 9
    • 70350238531 scopus 로고    scopus 로고
    • Software model checking
    • Jhala, R., Majumdar, R.: Software model checking. ACM Comput. Surv. 41(4), 1-54 (2009)
    • (2009) ACM Comput. Surv. , vol.41 , Issue.4 , pp. 1-54
    • Jhala, R.1    Majumdar, R.2
  • 11
    • 84976708136 scopus 로고
    • Regular Types for Active Objects
    • Nierstrasz, O.: Regular Types for Active Objects. SIGPLAN Not. 28(10), 1-15 (1993)
    • (1993) SIGPLAN Not. , vol.28 , Issue.10 , pp. 1-15
    • Nierstrasz, O.1
  • 12
    • 33746063761 scopus 로고    scopus 로고
    • Object Management Group. Technical report, OMG August
    • Object Management Group. UML 2.0 Superstructure Specification. Technical report, OMG (August 2005)
    • (2005) UML 2.0 Superstructure Specification
  • 15
    • 7744232347 scopus 로고    scopus 로고
    • Model Checking UML State Machines and Collaborations
    • Schäfer, T., Knapp, A., Merz, S.: Model Checking UML State Machines and Collaborations. ENTCS 55, 1-13 (2004)
    • (2004) ENTCS , vol.55 , pp. 1-13
    • Schäfer, T.1    Knapp, A.2    Merz, S.3
  • 17
    • 80054062820 scopus 로고    scopus 로고
    • Personal communication January
    • Selic, B.: Personal communication (January 2011)
    • (2011)
    • Selic, B.1
  • 19
    • 46149111927 scopus 로고    scopus 로고
    • Constructing Behavioral State Machine using Interface Protocol Specification
    • Shigo, O., Okawa, A., Kato, D.: Constructing Behavioral State Machine using Interface Protocol Specification. In: APSEC 2006, pp. 191-198 (2006)
    • (2006) APSEC 2006 , pp. 191-198
    • Shigo, O.1    Okawa, A.2    Kato, D.3


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