Mechanized Reasoning -- Related Fields

• Formal Methods
  • Jonathan Bowen's Formal Methods Page

  • The Formal Methods Europe Information Resources project

  • The Formal Methods Tools Database ( second sourced) maintained by Tim Denvir.

  • The IC DoC Theory and Formal Methods Page

  • Some links to formal methods pages

  • A searchable Formal Methods bibliography

• Logical Frameworks
• Type Theory
• Constraints
• Programming Languages index at CMU.
• Logic Programming
at Oxford University.
• Semantics Based Program Manipulation Page maintained by Bill Scherlis.

• Links related to verification and validation.

• Library of Logic Programming Systems and Test Cases

Last updated 27 January 1997.