Verification of SpecC using predicate abstraction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Himanshu Jain, Daniel Kroening, Edmund M. Clarke. Verification of SpecC using predicate abstraction. In 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 23-25 June 2004, San Diego, California, USA, Proceedings. pages 7-16, IEEE, 2004. [doi]

This author has not been identified. Look up 'Himanshu Jain' in GoogleThis author has not been identified. Look up 'Daniel Kroening' in GoogleThis author has not been identified. Look up 'Edmund M. Clarke' in Google

runs on WebDSL