From what I’m reading, it’s a specification language that’s an alternative to TLA+ with a more familiar syntax. Here’s an overview presentation by the creator:

From what I’m reading, it’s a specification language that’s an alternative to TLA+ with a more familiar syntax. Here’s an overview presentation by the creator: https://youtu.be/OZIX8rs-kOA?si=b2U_fNB0U2wDoR-F https://youtu.be/OZIX8rs-kOA?si=b2U_fNB0U2wDoR-F