Karine Even Mendoza, Sepideh Asadi, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina. Lattice-Based Refinement in Bounded Model Checking. In Ruzica Piskac, Philipp Rümmer, editors, Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers. Volume 11294 of Lecture Notes in Computer Science, pages 50-68, Springer, 2018. [doi]
Abstract is missing.