DR19

@misc{DR19,
author    = {Dureja, Rohit and Rozier, Kristin Y. },
title     = {{Scalable Verification of Designs with Multiple Properties}},
booktitle = {Formal Methods in Computer-Aided Design (FMCAD) Student Forum},
publisher = {{IEEE/ACM}},
address   = {San Jose, California, USA},
month     = {October},
year      = {2019},
abstract  = {This student-forum paper outlines the challenge of scaling verification when many properties must be checked on the same design. It summarizes early results and future directions on exploiting property relationships, subproblem sharing, and improved orchestration.},
pdf       = {../papers/DR19.pdf},
poster    = {../papers/DR19-poster.pdf},
slides    = {../papers/DR19-slides.pdf},
award	  = {Best Student Contribution Award}
}