Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Panagiotis Manolios, Sudarshan K. Srinivasan. Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements. In 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France. pages 168-175, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Panagiotis Manolios' in GoogleThis author has not been identified. Look up 'Sudarshan K. Srinivasan' in Google

runs on WebDSL