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

researchr

You are not signed in
Sign in
Sign up

Jason Baumgartner, Anson Tripp, Adnan Aziz, Vigyan Singhal, Flemming Andersen. An Abstraction Algorithm for the Verification of Generalized C-Slow Designs. In E. Allen Emerson, A. Prasad Sistla, editors, Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings. Volume 1855 of Lecture Notes in Computer Science, pages 5-19, Springer, 2000.

This author has not been identified. Look up 'Jason Baumgartner' in GoogleThis author has not been identified. Look up 'Anson Tripp' in GoogleThis author has not been identified. Look up 'Adnan Aziz' in GoogleThis author has not been identified. Look up 'Vigyan Singhal' in GoogleThis author has not been identified. Look up 'Flemming Andersen' in Google

runs on WebDSL