DR20b

@article{DR20b,
author    = {Dureja, Rohit and Rozier, Kristin Y.},
title     = {{Incremental Design-Space Model Checking via Reusable Reachable State Approximations}},
journal   = {Formal Methods in System Design},
year      = {2021},
URL       = {https://doi.org/10.1007/S10703-022-00389-5},
abstract  = {This journal article extends the FuseIC3 approach to incremental verification across large design spaces. It studies how reusable reachability approximations, model ordering, and property grouping can reduce redundant work and improve scalability when many related models must be checked.},
preprint = {../papers/DR22.pdf}
}