Blockchain Decentralized Systems

Research Frontiers in Formal Methods for Distributed System Verification

Application of formal specification languages, model checking, and theorem proving to verify correctness properties of decentralized protocols and systems.

All Blockchain & Decentralized Systems PhD categories