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