Use cases
Back
Tokenization and issuance
Clearing and settlement
Custody and asset servicing
Collateral and asset mobilization
Digital cash
Sports wagering
Platform
Developers
Company
Back
About us
Newsroom
Media resources
Careers
Trust center
Partners
Contact us
Insights
Close
Contact us
Contact us
Daml
engineering
June 30, 2020
What is Formal Verification and what it means for Daml
Gert-Jan Bottu
