Skip to content

GitLab

Explore

Sign in

T

tlc4b

Project information

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

491 Commits
2 Branches
9 Tags

README

Created on

February 04, 2022

Loading