Proof of correctness of Cardano system

English Education
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,

3 Likes