Compositional model checking of partially ordered state spaces

Formal verification in hardware design: a survey

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Implementing a Multi-valued Symbolic Model Checker

TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Efficient Multiple-Valued Model-Checking Using Lattice Representations

CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory

Reducing Model Checking from Multi-valued {\rm CTL}^{\ast} to {\rm CTL}^{\ast}

CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory

Model-Checking over Multi-valued Logics

FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity

Model checking for multi-valued computation tree logics

Beyond two

Multi-valued symbolic model-checking

ACM Transactions on Software Engineering and Methodology (TOSEM)

An integrated approach to verifying large circuits: a case study

DCC'96 Proceedings of the 3rd international conference on Designing Correct Circuits