Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Florian Pigorsch, Christoph Scholl, Stefan Disch. Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier Scheduling. In Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings. pages 89-96, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Florian Pigorsch' in GoogleThis author has not been identified. Look up 'Christoph Scholl' in GoogleThis author has not been identified. Look up 'Stefan Disch' in Google

runs on WebDSL