Chapter 1. Introduction

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