Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)

Authors:
Chao Wang;Gary D. Hachtel;Fabio Somenzi
Affiliations:
-;-;-
Venue:
Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
Year:
2006

The design of model checking agent for SMS management system

KES-AMSTA'08 Proceedings of the 2nd KES International conference on Agent and multi-agent systems: technologies and applications
Formal methods @ runtime

FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Planning for end-to-end formal using simulation-based coverage: invited tutorial

Proceedings of the International Conference on Formal Methods in Computer-Aided Design
State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction

The Journal of Supercomputing
Abstraction and Idealization in the Formal Verification of Software Systems

Minds and Machines

Hi-index	0.00