Get the latest posts in your email

formal verification isabelle software testing static analysis

Jun 30, 2020

What is Formal Verification and what it means for DAML

By Gert-Jan Bottu
. Jun 30, 2020

For the past three months, I got to experience (remote) life at Digital Asset, working alongside the amazing language team, and combining several passions of mine: functional programming languages, formal methods, state of the art blockchain technology and drinking coffee. In the context of this internship, I developed a formal verification tool for the DAML

Read More