How difficult is it to write correct smart contracts? Depends on your tools!
Formal method tools are key productivity aids for authoring correct smart contracts
InWhat properties must an enterprise smart contract language
Smart contract language: the real arbiter of truth?
Daml provides an immutable evidentiary audit trail of DLT contract execution
In this blog series, the value of evidentiary, or audit ‘trails’ that
Keeping smart contracts private is hard — unless you truly understand them
Daml helps preserve the confidentiality of sensitive DLT contractual information
Distributed Ledger Technology (DLT) promises to break down
“Trust but verify” is a valuable DLT model — does your language support it?
Daml enables reconciliation-free, post-commit DLT verification
InThe only valid DLT contract is a voluntary one — easier said than done, Martin and
The only valid smart contract is a voluntary one — easier said than done
Daml models, tracks, and enforces smart contract rights and obligations
InWhat properties must an enterprise smart contract language have?,Simon
What properties must an enterprise smart contract language have?
When it comes to DLT contract languages you must choose, but choose wisely
In our previous articleDistributed ledgers need more than traditional
Distributed ledgers need more than traditional application design patterns
The role of language in DLT-based financial markets
Modern society depends on the secure transfer of value in nearly every aspect of life — from