2 ms·
Wouldn't it be easier to start with TLA+ / PlusCal? It offers higher level of abstraction and helps catch specification bugs.
by polskibus 8y ago
Wouldn't it be easier to start with TLA+ / PlusCal? It offers higher level of abstraction and helps catch specification bugs.