|
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.