Using UPPAAL to Verify Recovery in a Fault-tolerant Mechanism Providing Persistent State at the Edge.

Zeinab Bakhshi, Guillermo Rodrguez-Navas, Hans Hansson

Browse the full ETFA paper archive.