Exploiting partial variable assignment in interpolation-based model checking
Article in Formal Methods in System Design (November 2019)
The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.
Article in Formal Methods in System Design (November 2019)
Article in Journal of Computer and System Sciences (August 2019)
Article in Theoretical Computer Science (November 2018)