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.

The Sixth NASA Langley Formal Methods Workshop (LFM 2008) was held April 30 - May 2, 2008. More information is available at http://shemesh.larc.nasa.gov/LFM2008/LFM2008.html.

In 2009, the NASA Langley Formal Methods Workshop series (LFM) became the NASA Formal Methods Symposium (NFM 2009), which was held near NASA Ames and hosted by the greater NASA Formal Methods research group.

The Second NASA Formal Methods Symposium (NFM 2010) will be held April 13 - 15, 2010 in Washington D.C. More information available at http://shemesh.larc.nasa.gov/NFM2010.

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.