Dr. Ramananandro Presenting at High-Confidence Software and Systems (HCSS) Conference

We are pleased to announce that Dr. Tahina Ramananandro, Senior Engineer at Reservoir Labs, will present at the High-Confidence Software and Systems (HCSS) Conference at 10:00AM EST on Thursday, May 12, 2016. The conference is held at the Governor Calvert House, Historic Inns of Annapolis, Annapolis, MD and is sponsored by the Cyber-Physical Systems Virtual Organization (CPS-VO).

Dr. Ramananandro’s presentation, Formal Verification of C Programs with Floating-Point Computations: Certified Error Bounds for Signal Processing, will demonstrate VCfloat, a Coq proof library to reason about the uncertainty introduced by rounding and approximation errors in C programs with floating-point computations, and its use in signal processing for high-assurance cyber-physical systems.