A Case for Multi-level Combination of Theorem Proving and Model Checking Tools - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter-Michael Seidel. A Case for Multi-level Combination of Theorem Proving and Model Checking Tools. In 15th International Microprocessor Test and Verification Workshop, MTV 2014, Austin, TX, USA, December 15-16, 2014. pages 90-97, IEEE, 2014. [doi]

This author has not been identified. Look up 'Peter-Michael Seidel' in Google

runs on WebDSL