首页 / 词典 / good

jpf

  • abbr.联合可编程保险丝(Joint Programmable Fuze)
jpfjpf
  1. The biggest problem in software model checking is how to constrain the state space explosion . JPF ( Java Pathfinder ) is a kind of explicit state model checker for Java bytecode .

    软件模型检测过程中最大的问题,是如何缓解状态空间爆炸问题。JPF(JavaPathfinder)是一种精确的Java字节码状态模型检测工具。