Formal Verification of HotStuff
Leander Jehl
Topics & Concepts
Computer scienceFormal verificationTheoretical computer scienceModel checkingTree (set theory)AlgorithmMathematicsMathematical analysisDistributed systems and fault toleranceBlockchain Technology Applications and SecurityCryptography and Data Security