Get the latest posts in your email

Intro Series

Aug 7, 2018

How difficult is it to write correct smart contracts? Depends on your tools!

By Andreas Lochbihler
. Aug 7, 2018
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 ...
Read More


Join the DAML mailinglist to get occasional updates on announcements and new releases