jpf是什么格式
jpf是一个多用途的Java插件框架格式。jpf是java path finder的简称，它是一种java虚拟机，主要用途是在于高效自动化的检测程序的正确性。在jpf中执行的是java程序，它不仅仅是一次执行程序，而是多次执行程序。它是基于模型检验的一种程序检查方式。
声明：本网站引用、摘录或转载内容仅供网站访问者交流或参考，不代表本站立场，如存在版权或非法内容，请联系站长删除，联系邮箱：site.kefu@qq.com。
阅读量：86
阅读量：54
阅读量：191
阅读量：38
阅读量：102
阅读量：85
阅读量：111
阅读量：138
阅读量：100
阅读量：196
阅读量：122
阅读量：70
阅读量：153
阅读量：160
阅读量：194
阅读量：194
阅读量：29
阅读量：129
阅读量：153
阅读量：148