Oskar Berndal: Prover

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.