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

General Info:

Start Date: 1 Nov 2020
End Date: 30 Apr 2022

Partners: