I just watched the video with Duncan Coutts (Youtube ) and I was wondering if you have some resources we can have a look at in link with Cardano ?
I just watched the video with Duncan Coutts (Youtube ) and I was wondering if you have some resources we can have a look at in link with Cardano ?
An excellent article on formal verification, Hacker-Proof Code Confirmed.
Cheers,