网站首页 数码 家常菜谱 教育 旅行 汽车 女性 创意折纸 手抄报 简笔画 影视 特产 生活 健康养生 电脑 热点
当前位置:秒知馆 > 数码 > 

jpf是什么格式

栏目: 数码 / 发布于: / 人气:3.08W

jpf是一个多用途的Java插件框架格式。

jpf是java path finder的简称,它是一种java虚拟机,主要用途是在于高效自动化的检测程序的正确性。在jpf中执行的是java程序,它不仅仅是一次执行程序,而是多次执行程序。它是基于模型检验的一种程序检查方式。

jpf程序用来开发维护低成本可升级可扩展的Java应用程序,它可以动态发现并运行插件,从而为项目提供一个标准的插件基础设施,且可以嵌入到任何类型的Java项目中。

jpf是什么格式 jpf格式

Tags:jpf 格式