Techniques for Implicit State Enumeration of EFSMs
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Formally Verifying Data and Control with Weak Reachability Invariants
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Formal Verification of a SONET Telecom System Block
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
On the non-termination of MDG-based abstract state enumeration
Theoretical Computer Science
Hybrid verification integrating HOL theorem proving with MDG model checking
Microelectronics Journal
Providing a formal linkage between MDG and HOL
Formal Methods in System Design
Formal verification of ASMs using MDGs
Journal of Systems Architecture: the EUROMICRO Journal
LCF-style Platform based on Multiway Decision Graphs
Electronic Notes in Theoretical Computer Science (ENTCS)
An abstract reachability approach by combining HOL induction and multiway decision graphs
Journal of Computer Science and Technology
Interfacing ASM with the MDG tool
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
NuMDG: a new tool for multiway decision graphs construction
Journal of Computer Science and Technology - Special issue on natural language processing
High level reduction technique for multiway decision graphs based model checking
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
| Hi-index | 0.00 |