Combining Theorem Proving with Model Checking through Predicate Abstraction | IEEE Journals & Magazine | IEEE Xplore