Lightning:Formal verification for the greater good

From 34C3_Wiki
Jump to: navigation, search
Description It is criminally easy to make a mistake designing concurrent systems - and cars, planes and nuclear plants just happen to be such. Formal verification is one solution, somewhat secluded from mainstream engineering; this talk aims to bring more awareness to it.
Slides File:FV FTW.pdf
Tags formal verification, tla+, concurrent
Person organizing User:wldhx
Language en - English
en - English
Duration 5
Desired session Day 3
Desired timeframe middle


Video starts at