• Jonathan Bowen's Formal Methods URL
• Formal Methods Europe
• NASA LaRC Formal Methods Program
• Wikipedia Formal Methods Page