Online Enumeration of All Minimal Inductive Validity Cores

Jaroslav Bendík, Elaheh Ghassabani, Michael W. Whalen, Ivana Černá
June 2018
PDF Cite
Type
Conference paper
Publication
In Software Engineering and Formal Methods - 16th International Conference
Jaroslav Bendík
Jaroslav Bendík
SMT Team Lead