DR17a

@inproceedings{DR17a,
author    = {Dureja, Rohit and Rozier, Kristin Y.},
title     = {{FuseIC3}: An Algorithm for Checking Large Design Spaces},
booktitle = {Proceedings of Formal Methods in Computer-Aided Design (FMCAD)},
publisher = {{IEEE/ACM}},
address   = {Vienna, Austria},
editors   = {Daryl Stewart and Georg Weissenbacher},
month     = {October},
year      = {2017},
url       = {https://doi.org/10.23919%2Ffmcad.2017.81022556},
abstract  = {This paper introduces FuseIC3, an incremental verification algorithm for checking related models in a design space. By reusing and repairing learned reachability information across runs, it reduces repeated work and improves scalability on large benchmark sets.},
preprint  = {../papers/DR17a.pdf},
slides    = {../papers/DR17a-slides.pdf},
website   = {http://temporallogic.org/research/FMCAD17/}
}