Formal verification for real-time safety critical applications based on logical time


Date
Nov 30, 2023 4:15 PM
Event
Synchron 2023
Location
Kiel, Germany
Fabien Siron
Fabien Siron
Research Engineer | Lecturer

Research engineer working on formal verification, synchronous-reactive systems and safety-critical real-time software.