"Simulation, while being scalable and efficient, is incomplete," said CS graduate student Sridhar Duggirala, who is working on the project with Viswanathan and Mitra. "Verification, on the other hand, is computationally difficult and does not scale to large systems, but can provide mathematical guarantees."