T

tlc4b

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

Project badge