Verifying fault-tolerant Erlang programs.

Clara Benac Earle Lars-Åke Fredlund John Derrick

Published in: Erlang Workshop (2005)

Keyphrases

fault tolerant
fault tolerance
distributed systems
state machine
load balancing
model checking
high availability
interconnection networks
metadata
multistage
mobile agent system
high assurance