Faulty Logic: Reasoning about Fault Tolerant Programs.

Matthew L. Meola David Walker

Published in: ESOP (2010)

Keyphrases

fault tolerant
fault tolerance
state machine
formal theory
dynamic logic
distributed systems
load balancing
modal operators
logic programming
qualitative reasoning
high availability
safety critical
modal logic
fault diagnosis
artificial intelligence
digital circuits
programs written