Session 4: Software Systems (1)

Ricky W. Butler, Chair

o Formal Verification for Fault-Tolerant Architectures/PVS Design, by John M. Rushby, SRI International

o Formal Methods Demonstration Project for Space Applications, by John Kelly, Jet Propulsion Laboratory; and Ben DiVito, VÍGYAN, Inc.