Exploiting partial variable assignment in interpolation-based model checking
Additional information
Authors
Sharygina N.,
Jancík P.,
Kofron J.,
Alt L.,
Fedyukovich G.,
Hyvärinen A.
Type
Journal Article
Year
2019
Language
Italian
Journal
Formal Methods in System Design
Pages (or article number)
33-71
