Oskar Berndal: Prover
Tid: On 2024-05-29 kl 10.00 - 12.00
Plats: Albano house 1, floor 3, Room U (Kovalevsky)
Medverkande: Oskar Berndal
Abstract
Industry applications of formal logic are novel. Prover is a company that uses logic and formal methods to find bugs in rail control systems. This talk will present some of the involved techniques and technical trade-offs.
For context, we will also cover a history of rail control systems, how they are developed, and their traditional testing and validation processes.