jpf是什么格式
jpf是一个多用途的Java插件框架格式。jpf是java path finder的简称，它是一种java虚拟机，主要用途是在于高效自动化的检测程序的正确性。在jpf中执行的是java程序，它不仅仅是一次执行程序，而是多次执行程序。它是基于模型检验的一种程序检查方式。
阅读量：40
阅读量：86
阅读量：117
阅读量：120
阅读量：186
阅读量：51
阅读量：150
阅读量：62
阅读量：22
阅读量：151
阅读量：27
阅读量：93
阅读量：33
阅读量：177
阅读量：98
阅读量：117
阅读量：177
阅读量：76
阅读量：133
阅读量：130