Tendermint Blockchain Synchronization: Formal Specification and Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sean Braithwaite, Ethan Buchman, Igor Konnov 0001, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir. Tendermint Blockchain Synchronization: Formal Specification and Model Checking. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I. Volume 12476 of Lecture Notes in Computer Science, pages 471-488, Springer, 2020. [doi]

This author has not been identified. Look up 'Sean Braithwaite' in GoogleThis author has not been identified. Look up 'Ethan Buchman' in GoogleThis author has not been identified. Look up 'Igor Konnov 0001' in GoogleThis author has not been identified. Look up 'Zarko Milosevic' in GoogleThis author has not been identified. Look up 'Ilina Stoilkovska' in GoogleThis author has not been identified. Look up 'Josef Widder' in GoogleThis author has not been identified. Look up 'Anca Zamfir' in Google

runs on WebDSL