Article-Journal

Formal analysis of the compact position reporting algorithm featured image

Formal analysis of the compact position reporting algorithm

Aaron Dutle

• Feb 11, 2021 • 1 min read

A constraint-based language for modelling intelligent environments

Maria-Del-Mar Gallardo

• Jan 2, 2017 • 1 min read

A program analysis framework for tccp based on abstract interpretation featured image

A program analysis framework for tccp based on abstract interpretation

Marco Comini

• Jan 1, 2017 • 1 min read

Abstract Diagnosis for tccp using a Linear Temporal Logic featured image

Abstract Diagnosis for tccp using a Linear Temporal Logic

Marco Comini

• Jul 1, 2014 • 1 min read

An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages featured image

An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages

Laura Titolo

• Jul 23, 2013 • 1 min read

Abstract Diagnosis for Timed Concurrent Constraint programs featured image

Abstract Diagnosis for Timed Concurrent Constraint programs

Marco Comini

• Jul 1, 2011 • 1 min read