Symbolic Detection of Assertion Dependencies for Bounded Model Checking
Additional information
Authors
Sharygina N.,
Fedyukovich G.,
D'Iddio A. C.,
Hyvärinen A.
Type
Article in conference proceedings
Year
2015
Language
English
Meeting name
18. FASE 2015
Meeting place
London, UK
Meeting date
April 11-18, 2015
