Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

T

tlc4b
- Activity
- Members
- Labels
- Releases
- Model registry
- Model experiments

Snippets Groups Projects

- general
- stups
tlc4b

An error occurred while fetching folder content.

T

tlc4b

Project ID: 2351

Project information

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

485 Commits
2 Branches
8 Tags

README

Created on

February 04, 2022

Select Git revision

0 results

tlc4b

- Clone with SSH
- Clone with HTTPS
Open in your IDE
Download source code

Download source code

Clone with SSH

Clone with HTTPS

Name	Last commit	Last update