9:52Automated Error Analysis of Numerical Kernels for High-Consequence Systems with Frama-CSamuel Pollard153 views·1 year ago
46:47Techniques for Verifying the Correctness of Assembly Languages and Floating-Point ProgramsSamuel Pollard104 views·4 years ago