[some_random]

So, the syntax is so bad that you have to use an LLM to generate the spec, but also you still need to understand the spec the LLM generates which is now harder because you weren't even the one to write it. It sounds like the syntax just sucks and there's no way to get around it.

[raidicy]

This was also my experience, one look at the full spec and I tuned out.

I understand that this is not the tool for everything but scxml, state chart XML, gives you something like this but something that you can actually read without investing time learning syntax.

It also has some plugins on vs code that allow you to edit it visually in case you don't want to write a bazillion XML tags.

[beu5a]

You can try Quint for specifications. It has an easier syntax closer to functional programming language and doesn't require a big investment learning the syntax: https://github.com/informalsystems/quint

[pramodbiligiri]

There's a more accessible syntax for TLA+ called PlusCal: https://learntla.com/intro/faq.html?highlight=pluscal#what-s...