Exploiting partial variable assignment in interpolation-based model checking
Informazioni aggiuntive
Autori
Sharygina N.,
Jancík P.,
Kofron J.,
Alt L.,
Fedyukovich G.,
Hyvärinen A.
Tipo
Articolo pubblicato in rivista scientifica
Anno
2019
Lingua
Italiano
Periodico
Formal Methods in System Design
Pagine (o numero dell’articolo)
33-71
