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 FM Virtual Library , and Safety-Critical Systems Virtual Library .

We`ve collaborated some with The Jet Propulsion Laboratory (JPL). Their formal methods page is here.

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

If you fly, or know someone who does, you might be interested in NASA`s Aviation Safety and Security Program.

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 .