Regular Vacuity

Lecture Notes in Computer Science - Correct Hardware Design and Verification Methods ◽

10.1007/11560548_16 ◽

2005 ◽

pp. 191-206 ◽

Author(s):

Doron Bustan ◽

Alon Flaisher ◽

Orna Grumberg ◽

Orna Kupferman ◽

Moshe Y. Vardi

Download Full-text