Till innehåll på sidan

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

Exportera till kalender


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.