jpf是什么格式
jpf是一个多用途的Java插件框架格式。jpf是java path finder的简称，它是一种java虚拟机，主要用途是在于高效自动化的检测程序的正确性。在jpf中执行的是java程序，它不仅仅是一次执行程序，而是多次执行程序。它是基于模型检验的一种程序检查方式。
声明：本网站引用、摘录或转载内容仅供网站访问者交流或参考，不代表本站立场，如存在版权或非法内容，请联系站长删除，联系邮箱：site.kefu@qq.com。
阅读量：37
阅读量：78
阅读量：93
阅读量：24
阅读量：64
阅读量：28
阅读量：49
阅读量：73
阅读量：46
阅读量：85
阅读量：68
阅读量：33
阅读量：91
阅读量：36
阅读量：54
阅读量：28
阅读量：61
阅读量：29
阅读量：66
阅读量：21