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
- verify a method by model-checking techniques, with a focus on behavioural aspects such as data-dependent properties
- test components based on models in close connection with the model checking activities.