Let's Talk ETC! #70 - Markus Kuppe - Intro To TLA+ & Formal Smart Contract Design Specification

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:

Markus Kuppe, a long time TLA+ contributer, describes the promise

and potential of TLA+. Unlike formal software verfication, design specification

is much more practical and has already shown much success in industry.

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

PlusCal: https://en.wikipedia.org/wiki/PlusCal

TLA+ September 12, 2019 Conference: https://conf.tlapl.us/home

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

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.