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

Tutorial: Parameterized Verification with Byzantine Model Checker

08 Jun 2020

Igor Konnov, Marijana Lazic, Ilina Stoilkovska, and Josef Widder. “Tutorial: Parameterized Verification with Byzantine Model Checker,” in FORTE, pages 189–207, 2020. 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
  • 
  • 
  • 