You are here

Component Verification and Testing

ALLEGIO (Composable Embedded Systems for Healthcare)

Objectives: WP4 defines a formal framework to develop components that are verifiable by design, with a focus on the formal verification of data aspects of components and model-based testing.

It delivers methods and tools to

  1. verify a method by model-checking techniques, with a focus on behavioural aspects such as data-dependent properties
  2. test components based on models in close connection with the model checking activities.
WP Leader: