Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq.

Vincent Rahli Ivana Vukotic Marcus Völp Paulo Jorge Esteves Veríssimo

Published in: ESOP (2018)

Keyphrases

fault tolerant
key distribution
fault tolerance
distributed systems
load balancing
high availability
formal methods
state machine
theorem prover
mobile agent system
expert systems
intelligent systems
security protocols
safety critical