A single-instance incremental SAT formulation of proof- and counterexample-based abstraction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Niklas Eén, Alan Mishchenko, Nina Amla. A single-instance incremental SAT formulation of proof- and counterexample-based abstraction. In Roderick Bloem, Natasha Sharygina, editors, Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23. pages 181-188, IEEE, 2010. [doi]

This author has not been identified. Look up 'Niklas Eén' in GoogleThis author has not been identified. Look up 'Alan Mishchenko' in GoogleThis author has not been identified. Look up 'Nina Amla' in Google

runs on WebDSL