Lattice-Based Refinement in Bounded Model Checking
Additional information
Authors
Sharygina N.,
Even-Mendoza K.,
Asadi S.,
Hyvärinen A.,
Chockler H.
Type
Article in conference proceedings
Year
2018
Language
English
Meeting name
10th VSTTE 2018
Meeting place
Oxford, UK
Meeting date
July 18-19, 2018
