Institutional Repository
| smt-based bounded model checking for real-time systems | |
| Xu Liang | |
| 2008 | |
| Conference Name | 8th International Conference on Quality Software |
| Source | Proceedings - International Conference on Quality Software |
| Pages | 120-125 |
| Conference Date | AUG 12-13, |
| Conference Place | Oxford, ENGLAND |
| Publish Place | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA |
| Publisher | QSIC 2008: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE |
| ISSN | 1550-6002 |
| ISBN | 978-0-7695-3312-4 |
| Department | Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing, Peoples R China. |
| English Abstract | SAT-based bounded model checking has a high complexity in dealing with real-time systems. SMT solvers can generalize SAT solving by adding the ability to handle arithmetic and other decidable theories. With this advantage, if we use SMT in bou |
| Keyword | Chlorine Compounds Digital Arithmetic Model Checking Speech Transmission Surface Mount Technology |
| Sponsorship | Oxford Brookes Univ, Univ Hong Kong |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/10572 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Xu Liang. smt-based bounded model checking for real-time systems[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:QSIC 2008: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE,2008:120-125. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 04601535.pdf（254KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment