|
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.
News
|
The VSL is
directed by
Stephen F. Siegel. Manchun Zheng
served as a postdoctoral researcher.
Current students are Ziqing Luo ,Wenhao Wu and Yihao Yan.
Former
students include Tim Zirkel, Dan Fix, Pujan Kafle, Michael Karpeles,
Tim McClory, Sam Moelius, Ben Perry, Jiaqiang Xu, and Yi Wei.
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.