3 ms·
Alloy is much simpler than TLA+. Is fizzbee a frontend to TLA+?
by rsrsrs86 3y ago
Alloy is much simpler than TLA+.
Is fizzbee a frontend to TLA+?
- jayaprabhakar 3y agoFizzBee is a totally new implementation of the model checker. It does not cross compile to TLA+. That said, FizzBee is also modeled after and totally inspired by TLA+.