Teaching practical realistic verification of distributed algorithms in Erlang with TLA+.
Peter ZellerAnnette BieniusaCarla FerreiraPublished in: Erlang Workshop (2020)
Keyphrases
- practical problems
- optimization problems
- distributed systems
- e learning
- realistic scenarios
- times faster
- higher education
- orders of magnitude
- theoretical analysis
- computationally efficient
- significant improvement
- real life
- data structure
- real world
- worst case
- learning process
- cooperative
- distributed environment
- distributed breakout