3 ms·

In addition to PlusCal, I think the main "pseudocode alternative" to TLA+ is now Quint: https://github.com/informalsystems/quint https://github.com/informalsyst

by hwayne 2y ago

In addition to PlusCal, I think the main "pseudocode alternative" to TLA+ is now Quint: https://github.com/informalsystems/quint https://github.com/informalsystems/quint