Scholarly publication

Four-Valued Model Checking for Byzantine Fault Tolerant Consensus Verification

Jefferson O. Andrade

· 2025 IEEE Chilean Conference on Electrical, Electronics Engineering, Information and Communication Technologies (CHILECON)

Overview

The paper investigates four-valued model checking for Byzantine fault-tolerant consensus protocols, distinguishing missing from conflicting information.

Files and links