![](https://img-blog.csdnimg.cn/20201014180756757.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
JPF学习笔记
蛐蛐蛐
个人主页:https://quyu.github.io/
展开
-
[Java Path Finder][JPF学习笔记][7]JPF输出详细程度设置
这篇日志是补充一下看到的一点点经验。这个页面:http://babelfish.arc.nasa.gov/trac/jpf/wiki/user/output 中介绍到,jpf的一次运行主要可以生成三类输出:1. application output2. JPF logging3. JPF reporting system其实上面的页面对这三种输出已经讲解得很详细了,但是没有介绍原创 2011-12-20 21:33:41 · 1367 阅读 · 0 评论 -
[Java Path Finder][JPF学习笔记][8]几篇使用JPF的论文
今天开小组会的时候,谈到JPF的扩展和使用,就想总结一下10-11年相关会议上使用JPF的几篇论文,这里简单整理下: 1. P. Joshi, M. Naik, K. Sen, and D. Gay, "An effective dynamic analysis for detecting generalized deadlocks," in Proceedings of the eigh原创 2011-12-29 21:21:56 · 1597 阅读 · 0 评论 -
[Java Path Finder][JPF学习笔记][6]jpf-symbc的初步使用
这篇日志继续总结些简单的JPF使用经验:在http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-symbc/doc 对Symbolic PathFinder进行了最基本介绍,并给出了一个Example.java和Example.jpf的例子。这里摘录一些设置,进行简单的中文解释:# The following JPF opti原创 2011-12-13 18:53:32 · 2617 阅读 · 4 评论