240 发简信
Hecoz
IP属地：青海
  • Resize,w 360,h 240
    JPF components

    JPF components   Java™不仅仅是一种编程语言。它是一组层，从特定于平台的VM实现开始 ("host VM"),它位于为您的操...

    451 0 0
  • Resize,w 360,h 240
    JPF Application Goals and Types

    JPF Application Goals and Types JPF应用程序目标和类型   到目前为止，您已经知道在JPF上运行在编译的jav...

    273 0 0
  • JPF Features and Classification

    JPF Features and Classification   到目前为止，应该清楚的是，JPF不仅仅是一个模型检查器：它是一个可以用于模型...

    433 0 0
  • Testing vs. Model Checking

    Testing vs. Model Checking   那么JPF所做的是测试我们的程序是否存在缺陷？不，它通常做得更多，至少当用作模型检查器...

    768 0 0
  • what is JPF?

    what is JPF?   JPF 的功能取决于你如何去配置它，首先，没有一个单一的JPF，它是运行时配置的不同组件的组合。JPF的设计使其易...

    0.2 657 0 0
暂无个人介绍