Nicholas Malaya

Number of videos:
MASA: A Tool for the Verification of Scientific Software
SciPy 2014
Nicholas Malaya
Recorded: July 13, 2014Language: English

Numerical simulations have a broad range of application, from aircraft design to drug discovery. However, any prediction from a computer must be tested to ensure its reliability. Verification ensures the outputs of a computation accurately reflect the underlying model. This talks covers MASA, a tool for the verification of software used in a large class of problems in applied mathematics.