Formal verification based on assume and guarantee approach — a case study (short paper)

Authors:
Subir K. Roy;Hiroaki Iwashita;Tsuneo Nakata
Affiliations:
Fujitsu Laboratories Ltd., 1-1 kamikodanaka 4-chome, Nakahara-ku, Kawasaki 211-8588, Japan;Fujitsu Laboratories Ltd., 1-1 kamikodanaka 4-chome, Nakahara-ku, Kawasaki 211-8588, Japan;Fujitsu Laboratories Ltd., 1-1 kamikodanaka 4-chome, Nakahara-ku, Kawasaki 211-8588, Japan
Venue:
ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
Year:
2000

Compositional model checking

Proceedings of the Fourth Annual Symposium on Logic in computer science
CTL model checking based on forward state traversal

Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
Forward model checking techniques oriented to buggy designs

ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Symbolic Model Checking

Symbolic Model Checking
A Compositional Rule for Hardware Design Refinement

CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Design Constraints in Symbolic Model Checking

CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
You Assume, We Guarantee: Methodology and Case Studies

CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification

Hi-index	0.00