Formal verification in Daml with Gert-Jan Bottu's Demo

📖 Get started with Daml: https://bit.ly/tryDaml 📚 Learn more about Daml Smart Contracts: https://bit.ly/learn_daml 📮Check out our blogs: https://bit.ly/daml-blog-engineering 📋 Become a Daml certified expert: https://bit.ly/daml-certification

For the past three months, Gert-Jan Bottu got to experience (remote) life at Digital Asset, working alongside the amazing language team, and combining several passions of mine: #functionalprogramming languages, #formalmethods, state of the art blockchain technology and drinking coffee. In the context of this internship, IGert-Jan Bottu developed a formal verification tool for the #DAML language. So let us now take this opportunity to answer one of the most common questions regarding DAML: “Does DAML support formal verification?” In short: Yes, it does! Though maybe not in the way you might expect, coming from other tools or languages… Read more here: https://daml.com/daml-driven/what-for...

🔎 Please create a free account on project: DABL and deploy this smart contracts based chat application on your ledger. You get your own URL to share with everyone, and now have your own collaboration system for your projects!

📖 Here are two other end-to-end samples here and here that will help you get started when you are ready to host your own business app.

⏩ What better way than to create your roadmaps and important to-dos on DAML smart contracts based, project:DABL hosted, OpenWork Board! Board is a Kanban-style card tracking app.

👏 For any questions or assistance please feel free to write to us. Stay safe❗️