Proof of correctness of Cardano system


#1

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 ?


#2

IOHK Research Papers

An excellent article on formal verification, Hacker-Proof Code Confirmed.

Cheers,