CS2: Modular Verification of Scientific Software using Model Checking, Symbolic Execution, — NSF Award to University of Delaware (
Software plays an increasingly important role in scientific discovery and innovation. Nuclear fusion, quantum science, space exploration, cancer research, and biotechnology are just a few of the many scientific disciplines benefitting from software. However, like all software, programs used in science may contain defec
| Award title | CS2: Modular Verification of Scientific Software using Model Checking, Symbolic Execution, |
|---|---|
| Award ID | 2446130 |
| Awardee | University of Delaware |
| City | NEWARK |
| State | DE |
| Amount obligated | $400,000 |
| Principal investigator | Stephen Siegel |
| Program | Correct SciComp Systems (CS2) |
| Start date | 06/01/2025 |
| Abstract | Software plays an increasingly important role in scientific discovery and innovation. Nuclear fusion, quantum science, space exploration, cancer research, and biotechnology are just a few of the many scientific disciplines benefitting from software. However, like all software, programs used in science may contain defects ("bugs") --- errors in the code or mistaken assumptions ---that can render the output erroneous. Consequently, developers of scientific software expend significant effort debugg |
| Source | NSF Awards |
$799/mo
Try NSFGrants →