Axoni releases AxLang for formal verification of Ethereum smart contracts

Submitted by Anonymous (not verified) on Mon, 03/05/2018 - 15:57

Axoni, a New York-based capital markets technology firm that specializes in distributed ledger infrastructure is today announcing AxLang, a new programming language that supports functional programming and enables formal verification of smart contracts for...