What's the status of Daml Drivers (ie. runtimes) with respect to formal verification?

[anthony]

Also a relevant blogpost here:

DAML Formal Verification

DAML Community , here @gertjanb wrote a great blog post on Formal Verification & DAML. Topics such as: What is Formal Verification? Formal Verification in DAML How the demo works What is the Future of Formal Verification in DAML? Formal Verification FAQ check it out [Formal Verification DAML] Comment here if you have any questions for @gertjanb!