https://scholars.lib.ntu.edu.tw/handle/123456789/497109
DC 欄位 | 值 | 語言 |
---|---|---|
dc.contributor.author | FARN WANG | en_US |
dc.creator | Wang, Farn | - |
dc.date.accessioned | 2020-06-04T07:48:47Z | - |
dc.date.available | 2020-06-04T07:48:47Z | - |
dc.date.issued | 2003 | - |
dc.identifier.issn | 03029743 | - |
dc.identifier.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-35248884302&doi=10.1007%2f3-540-36384-x_17&partnerID=40&md5=1d8cf1e2c22bfb8d3f45bd49e0b04f1d | - |
dc.description.abstract | We investigate the efficiency of BDD-like data-structures for timed automata verification. We find that the efficiency is highly sensitive to the variable designs and canonical form definitions. We explore the two issues in details and propose to use CRD (Clock-Restriction Diagram) for timed automata state-space representation. We compare two canonical forms for zones, develop a procedure for quick zone-containment detection, and discuss the effect of variable-ordering of CRD. We implement our idea in our tool red 4.1 and carry out experiments to compare with other tools and red's previous version in both forward and backward analysis. © Springer-Verlag Berlin Heidelberg 2003. | - |
dc.relation.ispartof | Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings | - |
dc.subject | BDD; Data-structures; Model-checking; Timed automata; Verification | - |
dc.subject.other | Automata theory; Boolean functions; Data structures; Efficiency; State space methods; Verification; BDD; Canonical form; Forward-and-backward; State space representation; Timed Automata; Variable order; Model checking | - |
dc.title | Efficient Verification of Timed Automata with BDD-Like Data-Structures. | en_US |
dc.type | conference paper | en |
dc.identifier.doi | 10.1007/3-540-36384-X_17 | - |
dc.identifier.scopus | 2-s2.0-35248884302 | - |
dc.identifier.url | https://doi.org/10.1007/3-540-36384-X_17 | - |
dc.relation.pages | 189-205 | - |
item.openairecristype | http://purl.org/coar/resource_type/c_5794 | - |
item.grantfulltext | none | - |
item.fulltext | no fulltext | - |
item.openairetype | conference paper | - |
item.cerifentitytype | Publications | - |
crisitem.author.dept | Electrical Engineering | - |
crisitem.author.dept | Electronics Engineering | - |
crisitem.author.orcid | 0000-0002-0425-6500 | - |
crisitem.author.parentorg | College of Electrical Engineering and Computer Science | - |
crisitem.author.parentorg | College of Electrical Engineering and Computer Science | - |
顯示於: | 電機工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。