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

Verification of Randomized Consensus Algorithms

20 Aug 2019

Nathalie Bertrand, Igor Konnov, Marijana Lazi ́c, and Josef Widder. “Verification of randomized consensus algorithms under round-rigid adver- saries,” Invited Submission to International Journal on Software Tools for Technology Transfer. Source here.

Read the Paper Here 
  • Home
  • About Us
  • Products
  • Services
  • News & Publications
  • Team
  • Blog
  • Careers

© 2020 Informal Systems Inc. All rights reserved.

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