Verification of Fault-Tolerant Protocols with Sally.

Bruno Dutertre Dejan Jovanovic Jorge A. Navas

Published in: NFM (2018)

Keyphrases

fault tolerant
fault tolerance
key distribution
cryptographic protocols
high assurance
distributed systems
load balancing
model checking
safety critical
high availability
protocol specification
artificial intelligence
security protocols
multi agent
fine grained
digital libraries
state machine
fault isolation