Introduction

This section explains the background and concepts behind JPF.

Key Documents

• What is JPF?
• Introduction
• Classification
• Race Example
• Random Example
• Testing vs. Model Checking