Model checking for the working man (m/f)
Bol.com, Utrecht / 21-10-2015
Writing correct software is hard. Especially in the face of concurrency, our squishy human brains just don’t have the capacity to comprehend all failure modes anymore. But don’t worry, just like beer, computers are the cause of and solution to all of life’s problems!
In this workshop, Rico is going to show you how formal methods are not as intimidating as you might imagine, and how you don’t have to have a PhD to definitively prove your system correct. We’re going to do this by using the TLA+ model checker to find and fix bugs in a simple (but realistic) program.
- 18:00 Doors open, dinner
- 18:30 Start of content
This is a workshop, so be sure to pack your laptop! On it, install
If you, for some reason, cannot bring a laptop, do not despair: there will be someone for you to pair up with.
Rico is a software development Jack-of-all-trades, who hates web development yet for some reason can’t stop talking about it.
Bol.com Papendorpseweg 100 Utrecht
There is plenty of parking space and a public transport bus stop Papendorpseweg.
Register for this eventThis event is not open for registration
Pieter Joost van de Sande
Rick van der Arend