home
welcome
quick page
philosophy
team
research
quote
links
new?
home
>
philosophy
>
description
Formal Methods at Other NASA Centers
NASA Ames
Michael Lowry
John Penix
Simulation-Based Verification of Autonomous Controllers via Livingstone Path Finder. May 2004.
Verification of Diagnosability using Model Checking. April 2004.
Runtime Verification with Java PathExplorer. December 2002.
Generalized Symbolic Execution for Model Checking and Testing. November 2002.
NASA Goddard
Mike Hinchey
NASA JPL
Dr. Gerard Holzmann
home
|
welcome
|
quick page
|
philosophy
|
team
|
research
|
quote
|
links
|
new?
Curator and Responsible NASA Official: Ricky W. Butler
larc privacy statement
last modified: 6 August 2001 (14:18:23)
