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
The Tech Talks Daily: Meet the Creators of DAML
08/4/2020
BLOG
Enhancing Corda with DAML Smart Contracts
07/28/2020
NEWS
Smart contract language DAML now on Corda blockchain
07/27/2020
NEWS
Digital Asset has sights on stock market blockchain interoperability with DAML
07/27/2020
NEWS
Fintech Finance: Virtual Arena with Yuval Rooz
07/27/2020
PRESS RELEASE
Digital Asset, Creators of DAML, Adds VMware As Investor in Series C Round
07/14/2020
NEWS
The Power of DAML and Interoperability in Blockchain
05/22/2020
NEWS
Healthcare Smart Contracts with DAML
05/12/2020
NEWS
Money, Money, Money: The Future of Payments?
04/23/2020
NEWS
Exactpro Enables Testing for DAML-built Applications
04/23/2020
PRESS RELEASE
WeBank to Integrate DAML with China’s Leading Blockchain Platform
04/15/2020
NEWS
Waters Wavelength Podcast: Digital Asset on Blockchain
04/2/2020
NEWS
Bloomberg TV speaks to Yuval Rooz: Transforming Blockchain Markets
04/2/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
PRESS RELEASE
Odyssey Introduces Goals of the Odyssey Hackathon 2020 in Davos
01/24/2020
BLOG
Smart Contracts for Social Good: Unlocking Blockchain's Potential Beyond Finance
12/19/2019
PRESS RELEASE
XBourse Global Designs Market Infrastructure of the Future with DAML
12/16/2019
PRESS RELEASE
Digital Asset Raises $35 Million in Series C Financing to Capture Smart Contract Market with DAML
12/11/2019
BLOG
Low-code Smart Contracts for the Enterprise with Unibright and DAML
12/9/2019
PRESS RELEASE
Unibright enables anyone to create DAML smart contracts with “no code” developer tools
11/21/2019
BLOG
Committed Settlement: Adoption under UK Law, an analysis by Linklaters
09/26/2019
BLOG
Blockchain’s Immutability Could Hold-up in Bankruptcy
07/11/2019
BLOG
A Generational Opportunity to Improve the Transfer of Value
05/30/2019
BLOG
Synchronize New York 2019: Digital Asset and DLT in the Real World
05/17/2019
BLOG
DAML Driven Development: Optimis
03/15/2019
BLOG
Change Healthcare Introduces Payment Blockchain Proof-of-Concept at HIMSS ’19
02/7/2019