Events in Property Patterns
软件工程
2007-05-23 v2 人工智能
计算与语言
符号计算
摘要
A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification was proposed by Dwyer and his collegues. The patterns enable non-experts to read and write formal specifications for realistic systems and facilitate easy conversion of specifications between formalisms, such as LTL, CTL, QRE. In this paper, we extend the pattern system with events - changes of values of variables in the context of LTL.
引用
@article{arxiv.cs/9906029,
title = {Events in Property Patterns},
author = {M. Chechik and D. Paun},
journal= {arXiv preprint arXiv:cs/9906029},
year = {2007}
}
备注
14 pages, 3 figures