📝 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

What is Formal Verification and what it means for DAML - 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…

Formal Verification DAML1076×603 69.7 KB

Comment here if you have any questions for @gertjanb!

Great post! I hadn’t seen the IDE integration yet.

I was wondering why we decided to use annotations instead of Scenario or Script-like approach?

Do you think there are any disadvantages to coupling these assertions to the template, instead of allowing them to be tested independelty?

Note that the IDE integration does not yet exist neither do the annotations. At the moment, the UX is a command line tool that you pass in the name of the choice and the name of the field you want to verify.

I think it’s perfectly feasible to allow for more expressive assertions in the future but we had to start somewhere

Hi,
I was wondering if there’s progress on this.

Thanks!
Jose

Hi @jvelasco.intellecteu, there haven’t been any changes since then.