Institutional Repository
| proving liveness property under strengthened compassion requirements | |
| Long Teng; Zhang Wenhui | |
| 2012 | |
| Conference Name | 9th Annual Conference on Theory and Applications of Models of Computation, TAMC 2012 |
| Source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Pages | 498-508 |
| Conference Date | May 16, 2012 - May 21, 2012 |
| Conference Place | Beijing, China |
| Indexed Type | EI |
| ISSN | 0302-9743 |
| ISBN | 9783642299513 |
| Department | (1) State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China; (2) School of Information Science and Engineering Graduate University of China Academy of Sciences Beijing China |
| English Abstract | Deductive rules are useful for proving properties with fairness constraints and there have been many studies on such rules with justice and compassion constraints. This paper focuses on system specifications with strengthened compassion that impose constraints on transitions involving states and their successors. A deductive rule for proving liveness properties under strengthened compassion is presented, and proofs of the soundness and the relative completeness of the rule are also presented. © 2012 Springer-Verlag.; Deductive rules are useful for proving properties with fairness constraints and there have been many studies on such rules with justice and compassion constraints. This paper focuses on system specifications with strengthened compassion that impose constraints on transitions involving states and their successors. A deductive rule for proving liveness properties under strengthened compassion is presented, and proofs of the soundness and the relative completeness of the rule are also presented. © 2012 Springer-Verlag. |
| Keyword | Artificial Intelligence |
| Sponsorship | State Key Laboratory of Computer Science; Chinese Academy of Sciences, Institute of Software; Chinese Academy of Sciences |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/15685 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Long Teng,Zhang Wenhui. proving liveness property under strengthened compassion requirements[C],2012:498-508. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment