The Verified Software Laboratory is a software engineering research laboratory in the Department of Computer and Information Sciences at the University of Delaware. The VSL conducts research into one of the most important unsolved problems in computer science: how to develop verifiably correct complex software systems.
Currently, the VSL is focusing on parallel programs used for scientific computation and is developing tools that can find defects in these programs or establish their correctness. A variety of methods are being brought to bear on the problem, drawing on techniques from logic, compiler theory, symbolic computation, and model checking.
The VSL is directed by Stephen F. Siegel. Current and former students include Dan Fix, Pujan Kafle, Michael Karpeles, Sam Moelius, Ben Perry, Jiaqiang Xu, Yi Wei, and Tim Zirkel.