jpf是什么格式
jpf是一个多用途的Java插件框架格式。jpf是java path finder的简称，它是一种java虚拟机，主要用途是在于高效自动化的检测程序的正确性。在jpf中执行的是java程序，它不仅仅是一次执行程序，而是多次执行程序。它是基于模型检验的一种程序检查方式。
声明：本网站引用、摘录或转载内容仅供网站访问者交流或参考，不代表本站立场，如存在版权或非法内容，请联系站长删除，联系邮箱：site.kefu@qq.com。
阅读量：117
阅读量：35
阅读量：95
阅读量：104
阅读量：81
阅读量：29
阅读量：181
阅读量：119
阅读量：41
阅读量：26
阅读量：162
阅读量：109
阅读量：194
阅读量：188
阅读量：33
阅读量：122
阅读量：124
阅读量：109
阅读量：98
阅读量：175