JPF 初学者 – Java PathFinder – SourceForge 作者：Peter C. Mehlitz 电子书下载

原名:JPF for Beginners – Java PathFinder – SourceForge by Peter C. Mehlitz
作品简介:2008 年 4 月 29 日 什么是 JPF？ • 显式状态模型检查器。 – 重点是寻找 Java 中的错误
程式。 • 用于运行时Java 验证的框架。……