Skip to content

GitLab

Explore

Sign in

general
stups
tlc4b

T

tlc4b

Project information

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

318 Commits
2 Branches
6 Tags

README

Created on

February 04, 2022

Copy SSH clone URLgit@gitlab.cs.uni-duesseldorf.de:general/stups/tlc4b.git
Copy HTTPS clone URLhttps://gitlab.cs.uni-duesseldorf.de/general/stups/tlc4b.git