| ||||
| ||||
![]() Title:An Animation Module for TLA+ Authors:William Schultz Conference:TLA 2018 Tags:animation, tla and verification Abstract: The Animation module is a new TLA+ module which allows for the creation of interactive visualizations of TLC execution traces that can be run inside a web browser. The talk will present an overview of the core concepts of the Animation module and how it works, and then demonstrate a few examples of TLA+ specs that have been animated using the module. | ||||
Copyright © 2002 – 2025 EasyChair |