Jump to content

formalverification

Invite: Formal Verification Discussion with Certik & Kadena - Covering Blockchain FV

Recommended Posts

formalverification
Posted (edited)

spacer.png

 

Hey Cryptocurrencytalk Gang! In the spirit of decentralization, research, and code reviewing, there’s a dev-snazzy Live AMA coming up on the 7th of May 3 pm ET / 12 pm PT between Certik & Kadena.

 

We know who Certik are, and Kadena is a haskell based platform focusing on ChainWeb.

 

There will be general coverage, but it’s well open for a deep dive. You guys are some of the leading researchers out there on DLT and feel that it would be an honour to have ya’ll join!

 

 

Then pre-ask any questions! Or even Tweet and Tag #FormalVerficationAMA and it will be addressed during it. Oh and you can definitely ask in between. Looking forward to having brilliant minds join in on the conversation!

Edited by formalverification (see edit history)

Share this post


Link to post
Share on other sites
formalverification

Any questions? Feel free to ask here too! 

Share this post


Link to post
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now

Cryptocurrenytalk Logo

 

News, information, and discussions about cryptocurrencies, blockchains, technology, and events. Blockchaintalk is your source for advice on what to mine, technical details, new launch announcements, and advice from trusted members of the community. Cryptocurrencytalk is your source for everything crypto. We love discussing the world of cryptocurrencies.

 

   
×
×
  • Create New...

Important Information

By using CRYPTOCURRENCYTALK.COM, you agree to our Terms of Use.