Sandip Ray, Rob Sumners. Combining Theorem Proving with Model Checking through Predicate Abstraction. IEEE Design & Test of Computers, 24(2):132-139, 2007. [doi]
@article{RayS07,
title = {Combining Theorem Proving with Model Checking through Predicate Abstraction},
author = {Sandip Ray and Rob Sumners},
year = {2007},
doi = {10.1109/MDT.2007.38},
url = {http://doi.ieeecomputersociety.org/10.1109/MDT.2007.38},
tags = {model checking, meta-model, abstraction, Meta-Environment},
researchr = {https://researchr.org/publication/RayS07},
cites = {0},
citedby = {0},
journal = {IEEE Design & Test of Computers},
volume = {24},
number = {2},
pages = {132-139},
}