Towards a Verification Flow Across Abstraction Levels Verifying Implementations Against Their Formal Specification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pablo González de Aledo, Nils Przigoda, Robert Wille, Rolf Drechsler, Pablo Sánchez Espeso. Towards a Verification Flow Across Abstraction Levels Verifying Implementations Against Their Formal Specification. IEEE Trans. on CAD of Integrated Circuits and Systems, 36(3):475-488, 2017. [doi]

This author has not been identified. Look up 'Pablo González de Aledo' in GoogleThis author has not been identified. Look up 'Nils Przigoda' in GoogleThis author has not been identified. Look up 'Robert Wille' in GoogleThis author has not been identified. Look up 'Rolf Drechsler' in GoogleThis author has not been identified. Look up 'Pablo Sánchez Espeso' in Google

runs on WebDSL