Institutional Repository
| model checking with sat-based characterization of actl formulas | |
| Zhang Wenhui | |
| 2007 | |
| Conference Name | 9th International Conference on Formal Engineering Methods (ICFEM 2007) |
| Source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Pages | 191-211 |
| Conference Date | NOV 14-15, |
| Conference Place | Boca Raton, FL |
| Publish Place | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY |
| Publisher | FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS |
| ISSN | 0302-9743 |
| ISBN | 978-3-540-76648-3 |
| Department | Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China. |
| English Abstract | Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties have been studied and used as the theoretical basis for SAT-bas |
| Keyword | Error Detection Mathematical Models Problem Solving Semantics |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11050 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Zhang Wenhui. model checking with sat-based characterization of actl formulas[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS,2007:191-211. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 10.1.1.129.4769.pdf（205KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment