Tag: Contract-Based Design

COMPASTA

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

Read More

AIPlan4EU

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

Read More

Evidence-FBK collaboration

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

Read More

VALU3S

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

Read More

HUBCAP

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

Read More
Loading