A unified approach for showing language containment and equivalence between various types of &ohgr;-automata

Model checking and modular verification

ACM Transactions on Programming Languages and Systems (TOPLAS)

Efficient generation of counterexamples and witnesses in symbolic model checking

DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference

Automated logical verification based on trace abstractions

PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing

Formal verification in hardware design: a survey

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Specification and verification of fault-tolerance, timing, and scheduling

ACM Transactions on Programming Languages and Systems (TOPLAS)

Model checking

Handbook of automated reasoning