@bitcoinbrink : Russell O’Connor joined us to explain his work on formal verification of software, the process of mathematically proving that a program satisfies its specification. - Overview of formal verification of software - Walkthrough w/ libsecp256k1 - Coq, Rocq, Clightgen - SafeGCD

Brink

@bitcoinbrink

+ Follow

We support open source Bitcoin protocol developers

ID: 1329453958608416768

linkhttps://brink.dev calendar_today19-11-2020 15:58:48

351 Tweet

13,13K Takipçi

56 Takip Edilen

Brink

@bitcoinbrink

23 days ago

Russell O’Connor joined us to explain his work on formal verification of software, the process of mathematically proving that a program satisfies its specification. - Overview of formal verification of software - Walkthrough w/ libsecp256k1 - Coq, Rocq, Clightgen - SafeGCD - Q&A

thumb_up_off_alt29

chat_bubble_outline3

repeat13

shareShare