Summary
This project aims to serve the national interest by improving curricula in undergraduate computing education. The project will implement an innovative, interactive education tool, Model-By-Numbers, that will introduce and develop in students the skills needed to model their software for verification. Software models can be used to guarantee that software systems are correct by defining expected behavior purely in mathematical logic terms and testing against that. However, due to the rigorous abstraction involved there is a steep learning curve for software modeling languages, and as a result,
