DR18

@inproceedings{DR18,
author    = {Dureja, Rohit and Rozier, Kristin Y.},
title     = {More Scalable LTL Model Checking via Discovering Design-Space Dependencies},
booktitle = {Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
publisher = {Springer Berlin Heidelberg},
address   = {Thessaloniki, Greece,},
editors   = {Dirk Beyer and Marieke Huisman},
month     = {April},
year      = {2018},
url       = {https://doi.org/10.1007%2F978-3-319-89960-2_17},
abstract  = {This paper tackles LTL model checking over large design spaces by exploiting dependencies among related models and properties. Its D3 algorithm prunes unnecessary checks and significantly reduces verification cost while preserving complete results for every model-property pair.},
preprint  = {../papers/DR18.pdf},
slides    = {../papers/DR18-slides.pdf},
poster    = {../papers/DR18-poster.pdf},
website   = {http://temporallogic.org/research/TACAS18/},
}