Browse wiki

Jump to: navigation, search
Lightning:Formal verification for the greater good
Has description It is criminally easy to make a mistake deIt 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.s talk aims to bring more awareness to it.  +
Has desired session Day 3  +
Has desired timeframe middle  +
Has duration 5  +
Has language property en - English  +
Has lightning tag formal verification  + , tla+  + , concurrent  +
Has orga contact wldhx%2B34c3%2Blightning@wldhx.me  +
Has organizer property Wldhx +
Held in language en - English  +
Is organized by User:Wldhx +
Has queryThis property is a special property in this wiki. Lightning:Formal verification for the greater good +
Categories Lightning  +
Modification dateThis property is a special property in this wiki. 31 December 2017 13:17:59  +
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.