Welcome to our blog where we share some of our knowledge with the wider community.
Blog | August 19, 2020
An introduction to Formal Verification for Software Systems
By Santhosh Raju, Kamil Rytarowski
When engineers were designing completely autonomously operated Paris Métro line 14, they had to ensure the safety of tens of millions passengers each year, its 22 stations across Paris as well as smooth running of trains. How to approach development of software that allows for the automation of public transit? The French team decided to use formal verification – learn what it means!
read more