Dur20

@thesis{Dur20,
author    = {Dureja, Rohit},
title     = {Model Checking Large Design Space: Theory, Tools, and Experiments},
year      = {2020},
publisher = {Ph.D. Thesis, Iowa State University},
abstract  = {This dissertation studies how to scale model checking across large design spaces rather than isolated models. It develops theory, algorithms, and experimental techniques for design-space reduction, incremental verification, multi-property verification, and parallel orchestration, showing how relationships among models and properties can be exploited to improve verification efficiency without sacrificing coverage.},
pdf       = {../papers/Dur20.pdf},
award	  = {Research Excellence Award}
}