Table of Contents

1.1. Trends in Software Model Checking

1.2. Bogor Overview

1.3. Installing Bogor

1.4. Using Bogor

1.4.1. Model Checking BIR Models

1.4.2. Counter-example Display

1.4.3. Random Simulation Mode

1.4.4. User-guided Simulation Mode

1.4.5. Selecting Core Model Checker Components

1.4.6. Bogor Command-line Interface