Competition Act - Glow-Lang/glow GitHub Wiki

Act is a formal specification language for Ethereum smart contracts.

See this release post.

Pros:

• Taking formal verification seriously in the context of a language that can be used to write actual smart contracts.

Cons:

• No notion of several participants in an adversarial relation as in Glow
• No notion of participant client code as in Glow