• Skip to main content
  • Skip to footer

Stefan Heinbockel

Home of a Creative Engineer

  • Free eBook
  • Transportation
  • Engineering
  • Software Development
  • Know-how
  • About
  • Contact me

Engineering

Train Sidings – A TLA+ Example

8. December 2019 by stefan Leave a Comment

What is TLA+?

TLA+ is a modeling language in which one can model technical systems with discrete states. It has been used to describe many things, from the jugs problem in Die Hard 3 over a diverse array of algorithms up to Amazon Storage Services. The power of TLA+ comes from the TLC Model Checker, which checks your model for certain properties. These properties could be invariants — statements that are true of every possible state, like there are no buffer overruns. And it can check temporal properties — e.g., that an algorithm eventually finishes.

[Read more…] about Train Sidings – A TLA+ Example

Filed Under: Blog, Engineering, Software Development Tagged With: Engineering, Systems, TLA+

Footer

Connect with me on Social Media

  • Facebook
  • Instagram
  • LinkedIn

Subscribe to my Newsletter

Subscribe to my newsletter and get your free copy of my ebook Test Driven Development - A Practical Guide!

© 2022 by Stefan Heinbockel · About