Neider, Daniel Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
arXiv:1712.05581.pdf (Preprint), 664KB
Neider, D., Garg, P., Madhusudan, P., Saha, S., & Park, D. (2017). Invariant Synthesis for Incomplete Verification Engines. Retrieved from http://arxiv.org/abs/1712.05581.