Matthew Sottile - Physics to Simulation: The Deep Stack of Formalization - IPAM at UCLA
Institute for Pure & Applied Mathematics (IPAM) · 32:45
Formal verification of scientific simulation is not traditional program verification: labs start from physics, not an authoritative spec like AES or the C standard, so the model itself is a choice that ripples all the...