Show pageOld revisionsBacklinksBack to top This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ====== TLA+ Web Explorer ====== [[https://will62794.github.io/tla-web/#!/home?specpath=.%2Fspecs%2FTwoPhase.tla|Homepage]] and the source code is hosted on [[https://github.com/will62794/tla-web|GitHub]]. The current version of the tool utilizes the TLA+ tree-sitter grammar for parsing TLA+ specs and implements a TLA+ interpreter/executor on top of this in Javascript. This allows the tool to interpret specs natively in the browser, without relying on an external language server. The Javascript interpreter is likely much slower than TLC, but efficient model checking isn’t currently a goal of the tool. Watch the presentation: {{youtube>kSSWmxQLvmw?}} using/tla_web_explorer.txt Last modified: 2024/10/25 17:01by fponzi
fponzi