easterbrook.ca
Formal Verification for Climate Models?
Valdivino, who is working on a PhD in Brazil, on formal software verification techniques, is inspired by my suggestion to find ways to apply our current software research skills to climate science.…