Article

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

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

Laura Titolo

• Sep 14, 2024 • 1 min read

A Temporal Differential Dynamic Logic Formal Embedding featured image

A Temporal Differential Dynamic Logic Formal Embedding

Lauren White

• Jan 15, 2024 • 1 min read

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

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

Nikson Bernardes Fernandes Ferreira

• Oct 24, 2023 • 1 min read

A Compositional Proof Framework for FRETish Requirements featured image

A Compositional Proof Framework for FRETish Requirements

Esther Conrad

• Jan 17, 2022 • 1 min read

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

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

Aaron Dutle

• Dec 17, 2020 • 1 min read

Automatic Generation of Guard-Stable Floating-Point Code featured image

Automatic Generation of Guard-Stable Floating-Point Code

Laura Titolo

• Nov 17, 2020 • 1 min read

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

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

Mariano M. Moscato

• Jun 7, 2019 • 1 min read

A Mixed Real and Floating-Point Solver featured image

A Mixed Real and Floating-Point Solver

Rocco Salvia

• May 7, 2019 • 1 min read

Eliminating Unstable Tests in Floating-Point Programs featured image

Eliminating Unstable Tests in Floating-Point Programs

Laura Titolo

• Sep 22, 2018 • 1 min read

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

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

Laura Titolo

• Jul 15, 2018 • 1 min read