Workshops by Hillel Wayne

Hillel Wayne

Software Modelling with TLA+

Using modelling software leads to simpler, safer systems built more quickly and cheaply with Hillel Wayne

Summary Most software flaws have one of two causes. Sometimes the cause is that the code does not match the developer's design. Most software correctness techniques - types, tests, etc - are used to check for this issue. But other times, the code correctly implements a bad design: there is a funda...
Read more...

About Hillel Wayne

Hillel is a formal methods consultant, the author of Learn TLA+ and Practical TLA+, and a member of the TLA+ and Alloy boards. His other work includes The Crossover Project, a collection of interviews with traditional-turned-software engineers, and Let's Prove Leftpad. In his free time, he juggles and makes chocolate. He did, in fact, bring enough for everyone.

Hillel Wayne

Also check out