VIVAS
The objective of the project is to propose and demonstrate a genericVerification and Validation methodology based on the usage of theSystem-level Simulation Facilities, specifically targeted at spaceautonomous systems using...
Read MoreNov 1, 2020
A joint scientific study, funded by Evidence, will investigate the formal verification of safety properties of embedded software.
Read More