U.S. Department of Transportation
Federal Highway Administration
1200 New Jersey Avenue, SE
Washington, DC 20590

Skip to content
Facebook iconYouTube iconTwitter iconFlickr iconLinkedInInstagram

Federal Highway Administration Research and Technology
Coordinating, Developing, and Delivering Highway Transportation Innovations

This report is an archived publication and may contain dated technical, contact, and link information
Publication Number: N/A
Date: 1999

Producing Correct Software

James A Wentworth
Advanced Research Team
Federal Highway Administration

Rodger Knaus
Instant Recall, Inc.

Table of Contents

Part I - Introduction

Part II - Correctness Given Mathematical Specifications

Part III - Producing Reliable Software - Other References

Part IV - Verification and Validation for Prediction Software

Part V - Applying Experimental Results