Towards Richer Challenge Problems for Scientific Computing Correctness

Matthew Sottile, Mohit Tekriwal, John Sarracino

Correctness in scientific computing (SC) is gaining increasing attention in the formal methods (FM) and programming languages (PL) community. Existing PL/FM verification techniques…