Efficient State Space Pruning in Symbolic Backward Traversal

Symbolic exploration of large circuits with enhanced forward/backward traversals

EURO-DAC '94 Proceedings of the conference on European design automation

Improving efficiency of symbolic model checking for state-based system requirements

Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis

Improving symbolic traversals by means of activity profiles

Proceedings of the 36th annual ACM/IEEE Design Automation Conference

Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results

ACM Transactions on Programming Languages and Systems (TOPLAS)

Analysis of composition complexity and how to obtain smaller canonical graphs

Proceedings of the 37th Annual Design Automation Conference

Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks

Formal Methods in System Design

Biasing symbolic search by means of dynamic activity profiles

Proceedings of the conference on Design, automation and test in Europe

Optimizing Symbolic Model Checking for Statecharts

IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering

Can BDDs compete with SAT solvers on bounded model checking?

Proceedings of the 39th annual Design Automation Conference

Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification

Full symbolic ATPG for large circuits

ITC'94 Proceedings of the 1994 international conference on Test

Interleaved invariant checking with dynamic abstraction

CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods