3 ms·
Did you try pluscal? My understanding is TLA+ is intended to be low level ( closer to theorem prover like z3) instead of a high level spec language.
by skyde 5y ago
Did you try pluscal?
My understanding is TLA+ is intended to be low level ( closer to theorem prover like z3) instead of a high level spec language.