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 logic 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. Transform Methods
  3. Systems Biology
  4. Fractional Order System
  5. Robotic Cell Injection Systems
  6. Kinematics Analysis of Robotics