NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Deductive Verification of Distributed Algorithms

Proof-based techniques for establishing correctness properties of distributed consensus, mutual exclusion, and Byzantine fault-tolerant algorithms.