Proof of correctness of Cardano system

Matthieu · 13 December 2017 00:55

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 ?

Chainomatic · 13 December 2017 01:58

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

Cheers,

Topic		Replies	Views
Blockchain document verification using Cardano Education use-cases	6	891	4 April 2019
Advice for Building a Cardano Wallet Developers	1	1016	12 November 2018
Cardano Update General Discussions	3	1095	3 January 2018
New to Cardano \| Looking for educational resources Cardano Integration	0	171	28 February 2024
Of Haskell and formal methods Misc Dev Talk	0	341	20 May 2021