메뉴 건너뛰기




Volumn 3, Issue 5, 1997, Pages 666-688

Model checking for abstract state machines

Author keywords

Abstract state machines; Formal methods; Model checking; Requirement specification; Tool support; Verification

Indexed keywords


EID: 0004664312     PISSN: 0958695X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article
Times cited : (38)

References (17)
  • 2
    • 25344457859 scopus 로고
    • Annotated Bibliography on Evolving Algebras
    • [Börger 95] Börger, E. (Eds.): Oxford University Press
    • [Börger 95]Börger, E.: "Annotated Bibliography on Evolving Algebras"; in Börger, E. (Eds.): "Specification and Validation Method"; Oxford University Press, (1995), 37-51.
    • (1995) Specification and Validation Method , pp. 37-51
    • Börger, E.1
  • 3
    • 84947909053 scopus 로고
    • Why Use Evolving Algebras for Hardware and Software Engineering?
    • [Börger 95a] Bartosek, M., Staudek, J., Wiedermann, J. (Eds.)
    • [Börger 95a]Börger, E.: "Why Use Evolving Algebras for Hardware and Software Engineering?", Bartosek, M., Staudek, J., Wiedermann, J. (Eds.), SOFSEM'95; LNCS 1012, (1995), 236-271.
    • (1995) SOFSEM'95; LNCS , vol.1012 , pp. 236-271
    • Börger, E.1
  • 6
    • 0022769976 scopus 로고
    • Graph-Based Algorithms for Boolean Function Manipulation
    • [Bryant 86]
    • [Bryant 86]Bryant, R.E.: "Graph-Based Algorithms for Boolean Function Manipulation"; IEEE Transactions On Computers, C-35, 8, (1986).
    • (1986) IEEE Transactions on Computers , vol.C-35 , Issue.8
    • Bryant, R.E.1
  • 9
    • 0004277099 scopus 로고
    • A Model Checker for Statecharts (Linking CASE Tools with Formal Methods)
    • [Day 1993] Dep. of Computer Science, Univ. of British Columbia, Vancouver, B.C., Canada
    • [Day 1993]Day, N.: "A Model Checker for Statecharts (Linking CASE Tools with Formal Methods)"; Tech.Report 93-35, Dep. of Computer Science, Univ. of British Columbia, Vancouver, B.C., Canada, (1993).
    • (1993) Tech.Report 93-35
    • Day, N.1
  • 10
    • 84867307018 scopus 로고    scopus 로고
    • An Evolving Algebra Abstract Machine
    • [Del Castillo et al. 96]
    • [Del Castillo et al. 96]Del Castillo, G., Durdanović, L, Glässer, U.: "An Evolving Algebra Abstract Machine"; Proc. CSL'95, LNCS 1092, (1996), 191-214.
    • (1996) Proc. CSL'95, LNCS , vol.1092 , pp. 191-214
    • Del Castillo, G.1    Durdanović, L.2    Glässer, U.3
  • 11
    • 84863886894 scopus 로고    scopus 로고
    • Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving
    • [Dingel, Filkorn 96]
    • [Dingel, Filkorn 96]Dingel, J., Filkorn, T.: "Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving"; Proc. CAV '95, LNCS 939, (1996), 54-69.
    • (1996) Proc. CAV '95, LNCS , vol.939 , pp. 54-69
    • Dingel, J.1    Filkorn, T.2
  • 12
    • 84958745273 scopus 로고    scopus 로고
    • PEP - More than a Petri Net Tool
    • [Grahlmann, Best 93] Springer LNCS 1055
    • [Grahlmann, Best 93]Grahlmann, B., Best, E.: "PEP - More than a Petri Net Tool"; Procs. of TACAS'96, Springer LNCS 1055, (1996).
    • (1996) Procs. of TACAS'96
    • Grahlmann, B.1    Best, E.2
  • 13
    • 0002017107 scopus 로고
    • Evolving Algebras 1993: Lipari Guide
    • [Gurevich 95] E. Börger (Eds.) Oxford University Press
    • [Gurevich 95]Gurevich, Y.: "Evolving Algebras 1993: Lipari Guide"; E. Börger (Eds.): "Specification and Validation Methods"; Oxford University Press, (1995).
    • (1995) Specification and Validation Methods
    • Gurevich, Y.1
  • 16
    • 0004162205 scopus 로고
    • Model Checking, Abstraction and Compositional Verification
    • [Long 93] USA
    • [Long 93]Long, D.,E.: "Model Checking, Abstraction and Compositional Verification"; CMU Report, USA (1993).
    • (1993) CMU Report
    • Long, D.E.1
  • 17
    • 0003581143 scopus 로고
    • [McMillan 93] Kluwer Academic Publishers, Boston
    • [McMillan 93]McMillan, K.: "Symbolic Model Checking"; Kluwer Academic Publishers, Boston (1993).
    • (1993) Symbolic Model Checking
    • McMillan, K.1


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