AxLang Case Study: A Formally Verifiable Derivatives Contract Library

Posted on Apr 23, 2018

Today, we are excited to share a specific use case for AxLang: a standardized financial products modeling library for use by the derivatives industry.

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.