• Formal Verification of Industrial Critical Systems
  • Symbolic Model Checking (BDD-based, SAT-based, SMT-based, Bounded Model Checking)
  • Software model checking of sequential and concurrent code
  • Planning in Nondeterministic Domains via Symbolic Model Checking
  • Formal requirements analysis
  • Decision procedures and their application to formal verification

(thanks to world cloud)