This is the official website of the NASA Formal Methods (NFM) Research Group. Our group is currently comprised of researchers spanning six NASA centers: NASA Ames Research Center, NASA Goddard Space Flight Center, NASA Jet Propulsion Laboratory, NASA Langley Research Center, NASA Johnson Space Center, and NASA Armstrong Flight Research Center. Our research group hosts the annual NASA Formal Methods Symposium.