jpf是什么格式
jpf是一个多用途的Java插件框架格式。jpf是java path finder的简称，它是一种java虚拟机，主要用途是在于高效自动化的检测程序的正确性。在jpf中执行的是java程序，它不仅仅是一次执行程序，而是多次执行程序。它是基于模型检验的一种程序检查方式。
声明：本网站引用、摘录或转载内容仅供网站访问者交流或参考，不代表本站立场，如存在版权或非法内容，请联系站长删除，联系邮箱：site.kefu@qq.com。
阅读量：148
阅读量：150
阅读量：27
阅读量：192
阅读量：25
阅读量：159
阅读量：23
阅读量：138
阅读量：86
阅读量：52
阅读量：82
阅读量：133
阅读量：65
阅读量：169
阅读量：140
阅读量：79
阅读量：134
阅读量：151
阅读量：58
阅读量：194