Login / Signup
Using UPPAAL to Verify Recovery in a Fault-tolerant Mechanism Providing Persistent State at the Edge.
Zeinab Bakhshi
Guillermo Rodríguez-Navas
Hans Hansson
Published in:
ETFA (2021)
Keyphrases
</>
fault tolerant
fault tolerance
distributed systems
load balancing
edge detection
high availability
model checking
safety critical
mobile agent system
artificial intelligence
data structure
state space
edge information