240 发简信
IP属地:湖北
  • Resize,w 360,h 240
    JPF components

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

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

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

  • JPF Features and Classification

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

  • Testing vs. Model Checking

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

  • what is JPF?

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