Their evidence leads to safer software

Self-driving cars, banking apps, more and more applications require secure software. But how do you know that the software works one hundred percent? Magnus Myreen and his researchers at Chalmers prove the correctness of the programs. Watch the movie with one of SSF’s “Future Research Leader”!