Summary
Large scientific codebases cost millions of dollars to develop and support the work of countless computational scientists worldwide, so verifying their correctness is just as crucial as ensuring the proper functioning of expensive physical equipment in a "traditional" laboratory setting. However, unlike physical equipment, these codebases are built incrementally over decades, often by hundreds or thousands of different contributors, which creates ample opportunities for the unintentional introduction of bugs or security vulnerabilities. The goal of this project is to extract high-level specifi
