首页> 外文OA文献 >Rule-Based Runtime Verification

【2h】

Rule-Based Runtime Verification

机译：基于规则的运行时验证

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Howard Barringer; Allen Goldberg; Klaus Havelund; Koushik Sen;
展开▼
作者单位

展开▼
年度 2004
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Rule-based runtime verification revisited [J] . Klaus Havelund International Journal on Software Tools for Technology Transfer . 2015,第2期

机译：重新基于规则的运行时验证
2. RML: runtime monitoring language: a system-agnostic DSL for runtime verification [J] . Bernard Kuc Computing reviews . 2021,第4期

机译：RML：运行时监控语言：用于运行时验证的系统 - 不可止液DSL
3. Verifying data- and control-oriented properties combining static and runtime verification: theory and tools [J] . Ahrendt Wolfgang, Chimento Jesus Mauricio, Pace Gordon J., Formal Methods in System Design . 2017,第1期

机译：结合静态和运行时验证来验证面向数据和控件的属性：理论和工具
4. Rule-Based Runtime Verification [C] . Howard Barringer, Allen Goldberg, Klaus Havelund, Verification, Model Checking, and Abstract Interpretation . 2004

机译：基于规则的运行时验证
5. Enhancing Exploratory Testing with Rule-Based Verification. [D] . Hellmann, Theodore D. 2010

机译：通过基于规则的验证来增强探索性测试。
6. Reliable Task Management Based on a Smart Contract for Runtime Verification of Sensing and Actuating Tasks in IoT Environments [O] . Lei Hang, Do-Hyeun Kim 2020

机译：基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
7. Rule-Based Runtime Verification [O] . Goldberg Allen, Havelund Klaus, Sen Koushik, 2003

机译：基于规则的运行时验证
8. Rule-Based Runtime Verification [R] . Barringer, H. , Goldberg, A. 2004

机译：基于规则的运行时验证

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号