Theorem Proving

Theorem proving or automated reasoning is one of the most widely used formal verification method. The system that needs to be analyzed is mathematically modeled in an appropriate logic and the properties of interest are verified using computer based formal tools usually called theorem provers. The use of formal logics as a modeling medium makes theorem proving a very flexible verification method as it is possible to formally verify any system that can be described mathematically.

  1. Formal Dependability Analysis
  2. Z-Syntax based Reasoning about Molecular Biology
  3. Fractional Order System
  4. Transform Methods
  5. Kinematics Analysis of Robotics