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...
Axoni releases AxLang for formal verification of Ethereum smart contracts was published on CryptoNinjas.