HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols.

Shumao Zhai Xiaozhou Li Ning Ge

Published in: ICSE Companion (2023)

Keyphrases

formal methods
model checking
reactive systems
dynamic environments
formal analysis
data sets
formal verification
formal models
cryptographic protocols
home environment
requirements specification
neural network
autonomous agents
signature verification
daily activities