Contract-Based Design

COMPASTA

Apr 20, 2021

The goal of COMPASTA is to integrate the COMPASS toolset with TASTE. COMPASS is a toolset for...

Jan 1, 2021

Automated Planning and Scheduling is a central research area in AI that has been studied since the...

Nov 1, 2020

A joint scientific study, funded by Evidence, will investigate the formal verification of safety properties of embedded software.

Apr 1, 2020

VALU3S focuses on verification and validation (V&V) of...

Jan 1, 2020

The HUBCAP project aims at establishing a cloud-based center of innovation and collaboration among...