Rationale and Program Overview

Ricky W. Butler, NASA Langley Research Center, R.W.Butler@LaRC.NASA.Gov

Rationale for Formal Methods

• Full-Size Presentation Slides (PostScript, 33 pages, 336906 bytes)

• Four per Page Presentation Slides (PostScript, 9 pages, 344801 bytes)

Overview of NASA Langley's Formal Methods Program

• Full-Size Presentation Slides (PostScript, 14 pages, 176275 bytes)

• Four per Page Presentation Slides (PostScript, 4 pages, 180602 bytes)