JPF Developer Guide

From the previous two sections, you have learned that JPF has one recurring, major theme: it is not a monolithic system, but rather a configured collection of components that implement various different functions like state space search strategies, report generation and much more. Being adaptive is JPF's answer to the scalability problem of software model checking.

This not only makes JPF a suitable system for research, but chances are that if are you serious enough about JPF application, you sooner or later end up writing extensions for it. This section should tell you how to do that, covering topics like:

Last modified 7 years ago Last modified on 03/25/2011 04:45:46 PM