An Informal Introduction to Formal Methods

C. Michael Holloway, NASA Langley Research Center, C.M.Holloway@LaRC.NASA.Gov

Paul S. Miner, NASA Langley Research Center, P.S.Miner@LaRC.NASA.Gov

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

• Definitions and Introduction to Basics of Logic
  • Full Size Postscript (Color, 31 pages, 518850 bytes)
  • Four per page Postscript (8 pages, 525934 bytes)
  • Postscript Storyboard (11 pages, 1124343 bytes) The H. J. E. Reid Center has a 3 screen projection system. This file shows how those 3 screens were used in Mr. Holloway's presentation.
  • Slide Show (gif images)

• Application of Logic to Digital System Design
  • Full Size Postscript (21 pages, 229796 bytes)
  • Two Per Page Postscript with Supporting Text (11 pages, 229418 bytes)

• Detailed Example
  • Full Size Postscript (30 pages, 236288 bytes)
  • Four Per Page Postscript (8 pages, 243451 bytes)