PRL Seminars
Formal Methods Program at NASA Langley Research Center
Jim Caldwell
February 7, 1995
In a two part talk Jim Caldwell will describe the formal methods program at NASA Langley Research
Center and present some details of a Nuprl proof of propositional
decidability.