LibBFT: A High-Performace Timed Automata Library Collection for Byzantine Fault Tolerance.
Rodolfo Pereira AraujoIgor Machado CoelhoLuiz Satoru OchiVitor Nazário CoelhoPublished in: SBAC-PAD (2019)
Keyphrases
- fault tolerance
- fault tolerant
- timed automata
- distributed systems
- high availability
- group communication
- distributed computing
- model checking
- load balancing
- database replication
- replicated databases
- response time
- reachability analysis
- theorem prover
- database
- machine learning
- node failures
- data sets
- real time systems
- databases
- mobile agents
- peer to peer
- single point of failure
- mobile agent system
- wireless sensor
- grid computing
- theorem proving
- bayesian networks