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

Jason Baumgartner, Anson Tripp, Adnan Aziz, Vigyan Singhal, Flemming Andersen

Browse the full CAV paper archive.