Formal verification of AADL behavior models: A feasibility investigation

Hong Liu; David P. Gluch

doi:10.1145/1566445.1566495

Formal verification of AADL behavior models: A feasibility investigation

Hong Liu, David P. Gluch

Embry-Riddle Aeronautical University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the 47th Annual Southeast Regional Conference, ACM-SE 47
DOIs	https://doi.org/10.1145/1566445.1566495
State	Published - 2009
Externally published	Yes
Event	47th Annual Southeast Regional Conference, ACM-SE 47 - Clemson, SC, United States Duration: Mar 19 2009 → Mar 21 2009

Publication series

Name	Proceedings of the 47th Annual Southeast Regional Conference, ACM-SE 47

Conference

Conference	47th Annual Southeast Regional Conference, ACM-SE 47
Country/Territory	United States
City	Clemson, SC
Period	3/19/09 → 3/21/09

ASJC Scopus Subject Areas

Computational Theory and Mathematics
Computer Science Applications
Hardware and Architecture
Software

Keywords

Architecture analysis & design language
Computational tree logic
Model checking

Access to Document

10.1145/1566445.1566495

Cite this

Liu, H & Gluch, DP 2009, Formal verification of AADL behavior models: A feasibility investigation. in Proceedings of the 47th Annual Southeast Regional Conference, ACM-SE 47., 1566495, Proceedings of the 47th Annual Southeast Regional Conference, ACM-SE 47, 47th Annual Southeast Regional Conference, ACM-SE 47, Clemson, SC, United States, 3/19/09. https://doi.org/10.1145/1566445.1566495

@inproceedings{86d5238540754e67b21687879020472c,

title = "Formal verification of AADL behavior models: A feasibility investigation",

keywords = "Architecture analysis & design language, Computational tree logic, Model checking",

author = "Hong Liu and Gluch, {David P.}",

year = "2009",

doi = "10.1145/1566445.1566495",

language = "English",

isbn = "9781605584218",

series = "Proceedings of the 47th Annual Southeast Regional Conference, ACM-SE 47",

booktitle = "Proceedings of the 47th Annual Southeast Regional Conference, ACM-SE 47",

note = "47th Annual Southeast Regional Conference, ACM-SE 47 ; Conference date: 19-03-2009 Through 21-03-2009",

}

TY - GEN

T1 - Formal verification of AADL behavior models

T2 - 47th Annual Southeast Regional Conference, ACM-SE 47

AU - Liu, Hong

AU - Gluch, David P.

PY - 2009

Y1 - 2009

KW - Architecture analysis & design language

KW - Computational tree logic

KW - Model checking

UR - http://www.scopus.com/inward/record.url?scp=70449723531&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=70449723531&partnerID=8YFLogxK

U2 - 10.1145/1566445.1566495

DO - 10.1145/1566445.1566495

M3 - Conference contribution

AN - SCOPUS:70449723531

SN - 9781605584218

T3 - Proceedings of the 47th Annual Southeast Regional Conference, ACM-SE 47

BT - Proceedings of the 47th Annual Southeast Regional Conference, ACM-SE 47

Y2 - 19 March 2009 through 21 March 2009

ER -

Formal verification of AADL behavior models: A feasibility investigation

Publication series

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this