Author:Rajeev Gore

Keyphrases

automated reasoning, Binary Decision Diagrams, Bounded Model Checking, interactive verification, mu-calculus, non-classical logics, Progress Report, software verification, verification tools.