Article

An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs featured image

An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs

Laura Titolo

• Jan 7, 2018 • 1 min read

Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis featured image

Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis

Mariano M. Moscato

• Sep 13, 2017 • 1 min read

A Formal Analysis of the Compact Position Reporting Algorithm featured image

A Formal Analysis of the Compact Position Reporting Algorithm

Aaron Dutle

• Jun 22, 2017 • 1 min read

Abstract Analysis of Universal Properties for tccp

Marco Comini

• Jul 13, 2015 • 1 min read

Modelling Hybrid Systems in Hy-tccp

Damian Adalid

• Nov 7, 2014 • 1 min read

Modeling Hybrid Systems in the Concurrent Constraint Paradigm

Damián Adalid

• Sep 14, 2014 • 1 min read

Towards an Effective Decision Procedure for LTL formulas with Constraints featured image

Towards an Effective Decision Procedure for LTL formulas with Constraints

Marco Comini

• Aug 1, 2013 • 1 min read