首页> 外文OA文献 >Model Checking Java Programs using Structural Heuristics

【2h】

Model Checking Java Programs using Structural Heuristics

机译：使用结构启发式模型检查Java程序

页面导航

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

著录项

作者
Alex Groce; Willem Visser;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Heuristics for model checking Java programs [J] . Alex Groce, Willem Visser International Journal on Software Tools for Technology Transfer . 2004,第4期

机译：用于Java程序模型检查的启发式方法
2. Refinement of structural heuristics for model checking of concurrent programs through data mining [J] . Milewicz Reed, Pirkelbauer Peter Computer Languages, Systems & Structures . 2017,第pta2期

机译：细化结构启发式方法，以通过数据挖掘对并发程序进行模型检查
3. Model checking JAVA programs using JAVA Path Finder [J] . Klaus Havelund, Thomas Pressburger International Journal on Software Tools for Technology Transfer . 2000,第4期

机译：使用JAVA路径查找器对JAVA程序进行模型检查
4. Model checking Java programs using structural heuristics [C] . Alex Groce, Willem Visser ACM SIGSOFT international symposium on Software testing and analysis . 2002

机译：使用结构启发式模型检查Java程序
5. Java memory model-aware model checking [D] . Jin, Huafeng 2012

机译：Java内存模型感知模型检查
6. Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking [O] . Aaditya Prakash Chouhan, Gourinath Banda 2020

机译：使用统计模型检查正式验证启发式自主交叉管理
7. Heuristic Model Checking for Java Programs [O] . Alex Groce, Willem Visser 2002

机译：Java程序的启发式模型检查
8. Model Checking JAVA Programs Using Java Pathfinder [R] . Havelund, Klaus, Pressburger, Thomas 2000

机译：使用Java pathfinder检查JaVa程序的模型

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号