jpf是什么格式
jpf是一个多用途的Java插件框架格式。jpf是java path finder的简称，它是一种java虚拟机，主要用途是在于高效自动化的检测程序的正确性。在jpf中执行的是java程序，它不仅仅是一次执行程序，而是多次执行程序。它是基于模型检验的一种程序检查方式。
阅读量：101
阅读量：100
阅读量：46
阅读量：156
阅读量：196
阅读量：116
阅读量：53
阅读量：96
阅读量：148
阅读量：112
阅读量：134
阅读量：154
阅读量：81
阅读量：166
阅读量：59
阅读量：151
阅读量：115
阅读量：103
阅读量：152
阅读量：30