霍华德·巴林格；艾伦·戈德堡；克劳斯·哈弗伦德；塞·库什克 基于规则的运行时验证。 （英语） Zbl 1202.68243号 Steffen，Bernhard（编辑）等人，《验证、模型检查和抽象解释》。第五届国际会议，VMCAI 2004，意大利威尼斯，2004年1月11-13日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20803-8/pbk）。莱克特。注释计算。科学。2937, 44-57 (2004). 摘要：我们提出了一个基于规则的框架来定义和实现有限跟踪监控逻辑，包括未来和过去的时间时态逻辑、扩展正则表达式、实时逻辑、区间逻辑、量化时态逻辑的形式等，是作为Java库实现的，涉及用于规则定义、操作和执行的新技术。监视是以状态为基础进行的，而不存储执行跟踪。关于整个系列，请参见[Zbl 1031.68005号]. 引用于2评论引用于26文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） PDF格式BibTeX公司 XML格式引用 \textit{H.Barringer}等人，Lect。注释计算。科学。2937、44-57（2004年；Zbl 1202.68243） 全文： 内政部