DBIKR19

@inproceedings{DBIKR19,
author    = {Dureja, Rohit and Baumgartner, Jason and Ivrii, Alexander and Kanzelman, Robert and Rozier, Kristin Y.},
title     = {{Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties}},
booktitle = {Proceedings of Formal Methods in Computer-Aided Design (FMCAD)},
publisher = {{IEEE/ACM}},
address   = {San Jose, California},
editors   = {Clark Barrett and Jin Yang},
month     = {October},
year      = {2019},
url       = {https://doi.org/10.23919%2Ffmcad.2019.8894265},
abstract  = {This paper speeds up multi-property verification by grouping properties with strong structural and semantic affinity. The grouping strategy improves concurrent solving and enables better reuse of effort across related properties.},
preprint  = {../papers/DBIKR19.pdf},
slides    = {../papers/DBIKR19-slides.pdf},
website   = {http://temporallogic.org/research/FMCAD19/}
}