Overview of Applying Reachability Analysis to Verifying a Physical Microprocessor - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Robert de B. Johnston, Ouiza Dahmoune. Overview of Applying Reachability Analysis to Verifying a Physical Microprocessor. In Magdy S. Abadir, Jay Bhadra, Li-C. Wang, editors, 12th International Workshop on Microprocessor Test and Verification, MTV 2011, Austin, TX, USA, December 5-7, 2011. pages 32-37, IEEE, 2011. [doi]

This author has not been identified. Look up 'Robert de B. Johnston' in GoogleThis author has not been identified. Look up 'Ouiza Dahmoune' in Google

runs on WebDSL