Verification Runtime Analysis: Get the Most Out of Partial Verification

@inproceedings{pub11457,
    author = {

Ring, Martin
 and 

Bornebusch, Fritjof
 and 

Lüth, Christoph
 and 

Wille, Robert
 and 

Drechsler, Rolf
},
    title = {Verification Runtime Analysis: Get the Most Out of Partial Verification},
    booktitle = {Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-2020), March 9-13, Grenoble, France},
    year = {2020},
    publisher = {IEEE}
}