Automatic verification and discovery of Byzantine Consensus protocols

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

Abstract

Research Areas