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
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
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
I was wondering if there’s progress on this.
Hi @jvelasco.intellecteu, there haven’t been any changes since then.