T

tlc4b

Project information

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

509 Commits
3 Branches
9 Tags

README

Created on

February 04, 2022

Loading