Formal Verification of HotStuff.

Published in: FORTE (2021)

Keyphrases

formal verification
model checking
model checker
automated verification
symbolic model checking
bounded model checking
coloured petri nets
program slicing
functional verification
open source
temporal logic
web services
knowledge acquisition