How difficult is it to write correct smart contracts? Depends on your tools!
Posted by Digital Asset on Aug 7, 2018 10:00:00 AM

 

Formal method tools are key productivity aids for authoring correct smart contracts

In What properties must an enterprise smart contract language have?, Simon and Neil stated that “for a contract to be guaranteed to perform as intended, it must be amenable to formal verification methods.” In this blog post, we first discuss what formal methods are and why good language design greatly simplifies the task of applying formal methods. We then present the formal methods tools in use at Digital Asset for our contract modeling language, DAML. Readers with a strong background in formal methods may jump directly to the second part.

Read more on our developer blog >

 

Formal method tools are key productivity aids for authoring correct smart contracts

In What properties must an enterprise smart contract language have?, Simon and Neil stated that “for a contract to be guaranteed to perform as intended, it must be amenable to formal verification methods.” In this blog post, we first discuss what formal methods are and why good language design greatly simplifies the task of applying formal methods. We then present the formal methods tools in use at Digital Asset for our contract modeling language, DAML. Readers with a strong background in formal methods may jump directly to the second part.

Read more on our developer blog >

Topics:

Smart Contracts, DAML, SDK, DLT, Distributed Ledger

Recent Posts
NEWS
GFT Joins Digital Asset’s DAML for Corda Program
10/20/2020
NEWS
Asia Pacific’s DLT Initiatives Offer Valuable Lessons for Global Capital Markets
10/14/2020
PRESS RELEASE
ISDA and Digital Asset Launch CDM Clearing Pilot Using DAML
10/6/2020
NEWS
Standardizing Carbon Credits: How to make sustainable markets a reality
09/30/2020
NEWS
Block, Stock, and Barrel: Let's Talk About DAML
09/25/2020
BLOG
Interconnected / September
09/24/2020
NEWS
Digital Asset Expands DAML for Corda Integration Support with Chainstack
09/24/2020
NEWS
Entrepreneurship in Heavy-Duty Technology: Digital Asset CEO Yuval Rooz
09/23/2020
BLOG
How to Monetize your Data at Scale
09/15/2020
PRESS RELEASE
BNP Paribas and Digital Asset Join Forces to Develop DLT Trade and Settlement Apps
09/15/2020
PRESS RELEASE
DAML Named the Exclusive Smart Contract Language for China’s Blockchain Services Network
09/14/2020
NEWS
Digital Asset Joins Leading Companies and Law Firms in  Lawyers for Racial Justice Initiative
09/10/2020
BLOG
GBBC Davos 2020 - Blockchain, smart contracts, and sustainability
09/10/2020
NEWS
DAML Smart Contract Language is Now Used for Digital Bonds
09/4/2020
PRESS RELEASE
SGX Uses DAML to Complete its First Digital Bond Issuance
09/1/2020
BLOG
Smart Contracts and Data Privacy in the Wake of COVID-19
08/27/2020
NEWS
Women in Tech with Kelly Mathieson
08/26/2020
BLOG
Unlocking New Investment Opportunities with Digital Assets
08/20/2020
NEWS
The Tech Talks Daily: Meet the Creators of DAML
08/4/2020
BLOG
Enhancing Corda with DAML Smart Contracts
07/28/2020
PRESS RELEASE
Digital Asset, Creators of DAML, Adds VMware As Investor in Series C Round
07/14/2020
PRESS RELEASE
WeBank to Integrate DAML with China’s Leading Blockchain Platform
04/15/2020
PRESS RELEASE
Digital Asset is First Blockchain Startup to Successfully Complete AICPA Type 2 SOC 2 Examination
03/5/2020
PRESS RELEASE
Hyperledger Besu now has DAML Smart Contracts
03/3/2020
PRESS RELEASE
BTP brings smart contracts to Amazon QLDB with Sextant for DAML
02/25/2020
PRESS RELEASE
Leading Tech Companies Join Series C Financing & Former Microsoft Exec Joins Board
02/4/2020
BLOG
Outcompeting Destructive Systems with Smart Contracts
02/3/2020
BLOG
Smart Contracts for Social Good: Unlocking Blockchain's Potential Beyond Finance
12/19/2019
BLOG
Low-code Smart Contracts for the Enterprise with Unibright and DAML
12/9/2019
BLOG
Committed Settlement: Adoption under UK Law, an analysis by Linklaters
09/26/2019