Tag: Contract-Based Design

ROBDT

MBSE technology such as simulation has been adopted for decades at ESA and European industry....

Read More

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
Loading