Automatic verification of sequential circuit designs

• Authors:

• E. M. Clarke;J. R. Burch;O. Grumberg;D. E. Long;K. L. McMillan

• Affiliations:

• -;-;-;-;-

• Venue:
• Mechanized reasoning and hardware design
• Year:
• 1992