jpf是哪种合适
- IT科技
- 关注:1.13W次
1、jpf是一个多用途的Java插件框架格式。
2、jpf是javapathfinder的简称,它是一种java虚拟机,主要用途是在于高效自动化的检测程序的正确性。在jpf中执行的是java程序,它不仅仅是一次执行程序,而是多次执行程序。它是基于模型检验的一种程序检查方式。
标签:
jpf
- 文章版权属于文章作者所有,转载请注明 https://dongkepu.com/itkeji/yeyjx9.html
1、jpf是一个多用途的Java插件框架格式。
2、jpf是javapathfinder的简称,它是一种java虚拟机,主要用途是在于高效自动化的检测程序的正确性。在jpf中执行的是java程序,它不仅仅是一次执行程序,而是多次执行程序。它是基于模型检验的一种程序检查方式。