ISCAS OpenIR  > 基础软件与系统重点实验室
axiomatic temporal logic programs verification
Yang Xiaoxiao; Duan Zhenhua
2010
Conference Name2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010
SourceProceedings - 2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010
Pages87-94
Conference DateAugust 25,
Conference PlaceTaipei, Taiwan
Indexed TypeEI
Publish PlaceUnited States
ISBN9780770000000
Department(1) Institute of Computing Theory and Technology, ISN Laboratory, Xidian University, Xi'an,710071, China; (2) State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Science, China
English AbstractIn this paper, we investigate the axiomatic system of Modeling Simulation and Verification Language (MSVL). To this end, a set of state axioms and state inference rules is given. They are useful to deduce a program into its normal form. Further, a propositional projection temporal logic is used as assertion language to describe the required property of a program. Moreover, to deduce a program over an interval, a set of rules in terms of triple like Hoare logic is formalized. These rules enable us to deduce a program in its normal form at the current state to the next one and to verify safety, liveness properties over an interval. © 2010 IEEE.
KeywordComputer Simulation Languages Logic Programming Safety Engineering Software Engineering
SponsorshipNational Taiwan University; Res. Cent. Inf. Technol. Innov., Acad. Sin.; National Science Council; Ministry of Education; IEEE Computer Society
Content Type会议论文
URIhttp://ir.iscas.ac.cn/handle/311060/8682
Collection基础软件与系统重点实验室
Recommended Citation
GB/T 7714
Yang Xiaoxiao,Duan Zhenhua. axiomatic temporal logic programs verification[C]. United States,2010:87-94.
Files in This Item:
File Name/Size DocType Version Access License
05587722.pdf(373KB) 开放获取--Application Full Text
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Yang Xiaoxiao]'s Articles
[Duan Zhenhua]'s Articles
Baidu academic
Similar articles in Baidu academic
[Yang Xiaoxiao]'s Articles
[Duan Zhenhua]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Yang Xiaoxiao]'s Articles
[Duan Zhenhua]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.