Article

Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0

Sep 14, 2024

A Temporal Differential Dynamic Logic Formal Embedding

Jan 15, 2024

A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts

Oct 24, 2023

A Compositional Proof Framework for FRETish Requirements

Jan 17, 2022

From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project

Dec 17, 2020

Automatic Generation of Guard-Stable Floating-Point Code

Nov 17, 2020

Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm

Jun 7, 2019

A Mixed Real and Floating-Point Solver

May 7, 2019

Eliminating Unstable Tests in Floating-Point Programs

Sep 22, 2018

A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm

Jul 15, 2018