Sign in
Formal Verification of HotStuff.
Leander Jehl
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