Jump to Content

Automatic verification and discovery of Byzantine Consensus protocols

Proceedings of the 37th International Conference on Dependable Systems (DSN) (2007)

Abstract

Research Areas