AxLang: Formally Verifiable Smart Contracts for the Ethereum Ecosystem

Posted on Mar 5, 2018

March 5, 2018 (New York) — Axoni is pleased to announce AxLang, a new programming language that supports functional programming and enables formal verification of smart contracts for Ethereum-compatible networks.