Links to Other Pages Outside of Langley

We don`t have the time or the desire to try to duplicate the excellent work of Jonathan Bowen in providing links to formal methods work throughout the world. Instead we refer you to his Formal Methods Wiki and the Safety-Critical Systems Virtual Library .

Some researchers at NASA Ames Research Center also work in formal methods.

If you`re interested in the applications of formal methods to areas other than just computer system development, then you may be interested in Chris Johnson`s work .

The tag identifies links that are outside the NASA domain