T

tlc4b

Project information

Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.

523 Commits
3 Branches
10 Tags

README

Created on

February 04, 2022

Loading