Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko. Stratified Certification for k-Induction. In FMCAD. pages 59-64, 2022. [doi]
@inproceedings{YuFBH22,
title = {Stratified Certification for k-Induction},
author = {Emily Yu and Nils Froleyks and Armin Biere and Keijo Heljanko},
year = {2022},
doi = {10.34727/2022/isbn.978-3-85448-053-2_11},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_11},
researchr = {https://researchr.org/publication/YuFBH22},
cites = {0},
citedby = {0},
pages = {59-64},
booktitle = {FMCAD},
}