Introduction to TLA+

Dabeaz LLC is a company founded by David Beazley, an independent software developer,  book author, and educator living in the city of Chicago.  David is best known as the author of the "Python Essential Reference, 4th Edition" (Addison-Wesley), the "Python Cookbook, 3rd Edition" (O'Reilly Media), and "The Python Programming Language LiveLessons" (Addison-Wesley).  David has a Ph.D. in Computer Science and more than 10 years of university-level teaching experience.  From 1998-2005, Dave was an assistant professor in the Department of Computer Science at the University of Chicago. Since 2007, Dabeaz LLC has conducted more than 300 Python training courses worldwide.  More details are available atwww.dabeaz.com

Dabeaz LLC

Dabeaz LLC is pleased to host this special workshop, led by <A HREF="https://hillelwayne.com" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">Hillel Wayne</A>.
Overview
Most software flaws come from one of two places. When the code doesn't match our expectations, it could be that the code is wrong. Most software correctness techniques - types, tests, etc - are used to check the code. But it could instead be that the code is correct and our expectations are wrong: there's a fundamental error in our design. These errors, called specification errors, are some of the most subtle and dangerous bugs. They can span multiple independent programs, occur in convoluted race conditions, or depend on physical phenomena. Our regular tools simply can't find them.
Instead, we can find them with a specification language such as TLA+. TLA+ is the invention of Leslie Lamport, winner of the 2013 Turing Award and the inventor of Paxos and LaTeX. Instead of writing your design in code or plain English, you write it in TLA+'s special notation. Once you specify your core assumptions and requirements, it can explore how that system would evolve over time, and whether it actually has the properties you want. TLA+ is especially effective for finding bugs in concurrent code, distributed systems, and service architectures. And since it works on the design itself, we can fix issues before we've written a single line of code.
In this workshop, led by Hillel Wayne, author of Practical TLA+, you will learn how the basics of TLA+ and how to apply to it real-world business problems. We focus in particular on how to design concurrent systens, such as microservices or client-server architectures. By the end of this class you should be able to write your own basic specs and use them to identify issues in your software designs.
More information is available at <A HREF="http://www.dabeaz.com/tla.html" TARGET="_blank" DATA-MSYS-CLICKTRACK="0" REL="nofollow noopener noreferrer">http://www.dabeaz.com/tla.html</A>

Our {communityGuidelinesLink} describe the sort of content we prohibit on Eventbrite. If you suspect an event may be in violation, you can report it to us so we can investigate.

To report other categories of prohibited or illegal content, submit {link}

Introduction to TLA+

More events from Dabeaz LLC

Discover more events from Dabeaz LLC, from Science & Tech to other experiences you might love.

Still looking for the right event?

Explore all events in Chicago and filter by date, category, and more to find the perfect fit.

Introduction to TLA+

More events from Dabeaz LLC

Discover more events from Dabeaz LLC, from Science & Tech to other experiences you might love.

You might also like...

Browse more events with different dates, prices, and formats to find your next great experience.

Still looking for the right event?

Explore all events in Chicago and filter by date, category, and more to find the perfect fit.