Evidence-FBK Collaboration

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

The results of the project have been published in MODELS22 and TACAS23.

The additional material of the TACAS23 paper, including the kratos and ocra benchmarks can be downloaded here.

General Info

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

Partners

  • FBK
  • Evidence

Contacts

Alessandro Cimatti <>
Alberto Griggio <>
Stefano Tonetta <>

Recent Posts