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]
Abstract is missing.