DR17b

@misc{DR17b,
author    = {Dureja, Rohit and Rozier, Kristin Y. },
title     = {From One to Many: Checking A Set of Models},
booktitle = {Formal Methods in Computer-Aided Design (FMCAD) Student Forum},
publisher = {{IEEE/ACM}},
address   = {Vienna, Austria},
month     = {October},
year      = {2017},
abstract  = {This paper presents an early view of the model-set checking problem, where many related system variants must be analyzed together. It motivates algorithms that exploit relationships across models to make design-space verification more scalable.},
pdf       = {../papers/DR17b.pdf},
poster    = {../papers/DR17b-poster.pdf},
slides    = {../papers/DR17b-slides.pdf}
}