RuleRunner 技术报告
计算机科学中的逻辑
2013-06-05 v1 软件工程
摘要
一种用于有限迹线的基于规则的运行时监控系统，具有 FLTL 判定和二次复杂度。
引用
@article{arxiv.1306.0810,
title = {RuleRunner technical report},
author = {Alan Perotti},
journal= {arXiv preprint arXiv:1306.0810},
year = {2013}
}