Model checking for the working man (m/f), 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 Huijbers


Rico is a software development Jack-of-all-trades, who hates web development yet for some reason can’t stop talking about it.

Papendorpseweg 100

There is plenty of parking space and a public transport bus stop Papendorpseweg.

Register for this event

This event is not open for registration



Pieter Joost van de Sande

Rico Huijbers

Rick van der Arend

Davy Landman


Damir Malenicic

Andrii Zablodskyi

Jouke Stoel



Qwan 5dff39510bacfcefb54e89f953eddfc1a7a21185b7128d96ff6b466f56acb6d9
Macaw 06e9331a5321067b592bf45ea39db7df6792dc976000d24d3ee4043d99203514
Finalist e304343cdbeb0996cc1e7a26527993a5fa2db87ca53a81fb15dca22a35d7f28c

Devnology is a non-profit organisation and thus depends on sponsors. Thanks to our wonderful sponsors all Devnology events are free!