Smart Contract Development > avm-semantics

Algorand Virtual Machine and TEAL Semantics in K framework. Aids with testing and formal verification of smart contracts.