Quint is a modern specification language that is a particularly good fit for distributed systems, such as blockchain protocols, distributed databases, and p2p protocols. Quint combines the robust ...

Cadence is the native smart contract programming language of the Flow network. It is resource-oriented, capability-based, and designed by smart contract engineers to prevent the vulnerability classes ...