首页> 外文OA文献 >An overview of the runtime verification tool Java PathExplorer

【2h】

An overview of the runtime verification tool Java PathExplorer

机译：运行时验证工具Java pathExplorer的概述

页面导航

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

著录项

作者
Klaus Havelund;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. An Overview of the Runtime Verification Tool Java PathExplorer [J] . KLAUS HAVELUND, GRIGORE ROSU Formal Methods in System Design . 2004,第2期

机译：运行时验证工具Java PathExplorer概述
2. 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期

机译：结合静态和运行时验证来验证面向数据和控件的属性：理论和工具
3. How effective are existing Java API specifications for finding bugs during runtime verification? [J] . Legunsen Owolabi, Al Awar Nader, Xu Xinyue, Automated software engineering . 2019,第4期

机译：现有的Java API规范在运行时验证期间发现错误的效率如何？
4. StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java [C] . Jesus Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, International conference on runtime verification . 2015

机译：StaRVOOrS：Java静态和运行时组合验证工具
5. Specification and Runtime Verification of Distributed Multiprocessor Systems: Languages, Tools and Architectures. [D] . Nassar, Ahmed Mohamed Ahmed Mohamed. 2016

机译：分布式多处理器系统的规范和运行时验证：语言，工具和体系结构。
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. An Overview of the Runtime Verification Tool Java PathExplorer [O] . Clancy Daniel, Havelund Klaus, Rosu Grigore 2002

机译：运行时验证工具Java PathExplorer概述
8. Overview of the Runtime Verification Tool Java PathExplorer [R] . Havelund, K. , Rosu, G. 2002

机译：运行时验证工具Java pathExplorer概述

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号