An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
具备便捷工具的可执行规范语言【此简介由AI生成】