SOFTWARE VERIFICATION
Project 2022-23
Project Title: Software Verification
Project Title: Software Verification
Professor: Yuriy Brun
Professor: Yuriy Brun
Lab/Research Group: Laboratory for Advanced Software Engineering Research (LASER)
Lab/Research Group: Laboratory for Advanced Software Engineering Research (LASER)
The Laboratory for Advanced Software Engineering Research (LASER) focuses on improving the state of the art of building software systems. We accomplish this by developing techniques to automate program analysis, program repair, and program verification.
Project Description
One of the most challenging tasks in software engineering is formally proving that software does what it is supposed to do. This is called software verification. This project will introduce students to verification tools and develop new methods for fully automating verification.
Learning Outcomes
The students will learn how to verify software systems, and build tools that use machine learning to automate software proof synthesis.