An Abstraction Algorithm for the Verification of Generalized C-Slow Designs

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/10722167_5 ◽

2000 ◽

pp. 5-19 ◽

Author(s):

Jason Baumgartner ◽

Anson Tripp ◽

Adnan Aziz ◽

Vigyan Singhal ◽

Flemming Andersen

Download Full-text