Model Checking

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. Thermal Management in Many-core Systems
  2. Resource Management in Many-core Systems
  3. Reliability Analysis of Protective Relays in Power Distribution Systems
  4. Hardware Trojan Detection using Model Checking
  5. SATS Concept of Operation
  6. E-Health