| symbolic model checking of finite precision timed automata |
| Yan RJ; Li GY; Tang ZS
|
| 2005
|
| 会议名称 | 2nd International Colloquium on Theoretical Aspects of Computing
|
| 会议录名称 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
|
| 页码 | 272-287
|
| 会议日期 | OCT 17-21,
|
| 会议地点 | Hanoi, VIETNAM
|
| 收录类别 | sci
; istp
; ei
; springer
|
| 出版地 | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
|
| 出版者 | THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005
|
| ISSN | 0302-9743
|
| ISBN | 3-540-29107-5
|
| 部门归属 | Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100080, Peoples R China. Chinese Acad Sci, Grad Sch, Beijing 100039, Peoples R China.
|
| 摘要 | This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FPTAs only record the integer values of clock variables together with the or |
| 关键词 | Finite Precision Timed Automata
Model Checking
Symbolic Methods
|
| 主办者 | United Nations Univ, Int Inst Software Technol, Vietnam Natl Univ, Vietnam Acad Sci & Technol
|
| 语种 | 英语
|
| WOS记录号 | WOS:000233420900018
|
| 引用统计 |
|
| 内容类型 | 会议论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/12662
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
Yan RJ,Li GY,Tang ZS. symbolic model checking of finite precision timed automata[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005,2005:272-287.
|
修改评论