Let's Talk ETC! #84 - Dr. Duncan Coutts of IOHK - Provably Secure Smart Contracts

Let's Talk ETC! provides timely news about ETC and related technologies including: Ethereum, Bitcoin, blockchains and more. Feel free to leave requests, questions and comments below.

ETC website: https://ethereumclassic.org

ETC blog: http://ethereumclassic.org/blog

ETC Discord: https://discordapp.com/invite/xy777au

Christian Seberino's email: [email protected]

Christian Seberino's Twitter handle: @chris_seberino

--------------------------------------------------------------------------------

Info on some of the items we discussed can be found here:

Dr. Duncan Coutts of IOHK discusses provably secure smart contracts. Topics
covered include semi-formal and formal methods. Many practical tools to
consider are discussed such as TLA+, QuickCheck, Coq, Isabelle and more.

Haskell language: https://www.haskell.org

TLA+: https://lamport.azurewebsites.net/tla/tla.html

QuickCheck: http://hackage.haskell.org/package/QuickCheck

Coq: https://coq.inria.fr

Isabelle: https://isabelle.in.tum.de

--------------------------------------------------------------------------------

If you are passionate about anything related to ETC, and have something to say, we'd love to discuss that with you on the show. We are always looking for interesting guests so don't be afraid to ask!

--------------------------------------------------------------------------------

We would like to thank IOHK (Input Output Hong Kong) for funding this effort.