informal.systems logo
  • About Us
  • Products
  • Services
  • News & Publications
  • Blog
  • Media
  • Events

Informal Systems at FMBC 2020

20 Jul 2020

AT FMBC, the 2nd Workshop on Formal Methods for Blockchains, we presented a paper titled, “Formal Specifications and Model Checking of the Tendermint Blockchain Synchronization Protocol”. In this presentation, Chief Scientist, Zarko Milosevic, gives a great overview of the paper.

Workshop on Formal Methods for Blockchains 
  • Home
  • About Us
  • Products
  • Services
  • News & Publications
  • Team
  • Blog
  • Careers

© 2020 Informal Systems Inc. All rights reserved.

  • Privacy Policy
  • Terms of Service
  • 
  • 
  • 