Summary
This project develops educational resources to train the scientific computing community on how to formally describe the expected behavior of scientific programs. The skill of formally specifying program behavior lies at the core of ensuring the correctness of scientific software. Thus, the project impacts improvements in the reliability and quality of scientific software applications. The project’s novelties are in identifying specifications that are relevant to scientific domain experts and implementing a tool that automatically generates tests from those specifications. The investigators app
