If you are not familiar with formal methods, you might want to start your exploration by visiting our pages that try to answer the questions, Why is Formal Methods Necessary? and What is Formal Methods?

If you are familiar with formal methods, you will probably be most interested in seeing information about the work that we`re doing now and have done in the past. We also have information about our research team. A paper about our program is available in PostScript and PDF formats (Download Adobe Acrobat Reader from the Adobe site if needed).

After you have explored our site for the first time, you might want to make use of our quick access page on your future visits.

Note: The tag identifies links that are outside of the NASA domain; and, of course, the search above uses links that are outside the NASA domain, too.