Exploiting partial variable assignment in interpolation-based model checking

Pavel Jancík, Jan Kofron, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina. Exploiting partial variable assignment in interpolation-based model checking. Formal Methods in System Design, 55(1):33-71, 2019. [doi]

@article{JancikKAFHS19,
  title = {Exploiting partial variable assignment in interpolation-based model checking},
  author = {Pavel Jancík and Jan Kofron and Leonardo Alt and Grigory Fedyukovich and Antti E. J. Hyvärinen and Natasha Sharygina},
  year = {2019},
  doi = {10.1007/s10703-019-00342-z},
  url = {https://doi.org/10.1007/s10703-019-00342-z},
  researchr = {https://researchr.org/publication/JancikKAFHS19},
  cites = {0},
  citedby = {0},
  journal = {Formal Methods in System Design},
  volume = {55},
  number = {1},
  pages = {33-71},
}