jpf是什么格式 jpf格式

jpf是一个多用途的Java插件框架格式。　　jpf是javapathfinder的简称，它是一种java虚拟机，主要用途是在于高效自动化的检测程序的正确性。在jpf中执行的是java程序，它不仅