- 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)