Timing assumptions and verification of finite-state concurrent systems
Proceedings of the international workshop on Automatic verification methods for finite state systems
Verification of synchronous sequential machines based on symbolic execution
Proceedings of the international workshop on Automatic verification methods for finite state systems
Sequential circuit verification using symbolic model checking
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Online minimization of transition systems (extended abstract)
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Automatic functional test generation using the extended finite state machine model
DAC '93 Proceedings of the 30th international Design Automation Conference
Design Verfication and Reachability Analysis Using Algebraic Manipulation
ICCD '91 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Reachability and Recurrence in Extended Finite State Machines: Modular Vector Addition Systems
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management
ICCD '05 Proceedings of the 2005 International Conference on Computer Design
| Hi-index | 0.00 |