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. ====== Architecture of the TLA+ Toolbox (IDE) ====== This paper by Kuppe et al presents the technical architecture of the toolbox in this paper: https:%%//%%arxiv.org/pdf/1912.10633 codebase/architecture_toolbox.txt Last modified: 2024/09/28 15:58by 127.0.0.1
127.0.0.1