jpf是什么格式
jpf是一个多用途的Java插件框架格式。jpf是java path finder的简称，它是一种java虚拟机，主要用途是在于高效自动化的检测程序的正确性。在jpf中执行的是java程序，它不仅仅是一次执行程序，而是多次执行程序。它是基于模型检验的一种程序检查方式。
阅读量：38
阅读量：22
阅读量：136
阅读量：30
阅读量：80
阅读量：91
阅读量：135
阅读量：83
阅读量：169
阅读量：71
阅读量：57
阅读量：75
阅读量：188
阅读量：169
阅读量：25
阅读量：81
阅读量：49
阅读量：61
阅读量：108
阅读量：182