Model checking for a first-order temporal logic using multiway decision graphs

Model Reductions and a Case Study

FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design

Hybrid verification integrating HOL theorem proving with MDG model checking

Microelectronics Journal

Static slicing-based pre-reduction technique for MDG model-checker

IIT'09 Proceedings of the 6th international conference on Innovations in information technology

Abstract property language for MDG model checking methodology

International Journal of Computer Applications in Technology