Lightning:Formal verification for the greater good
From 34C3_Wiki
| 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 |
| Contact: | wldhx+34c3+lightning@wldhx.me |
| Language | en - English |
| Duration | 5 |
| Desired session | Day 3 |
| Desired timeframe | middle |
Video starts at https://www.youtube.com/watch?v=TLcByvUGMvk#t=1h14m17s
