Oskar Berndal: Prover
Time: Wed 2024-05-29 10.00 - 12.00
Location: Albano house 1, floor 3, Room U (Kovalevsky)
Participating: 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.