Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs.

Sandeep S. Kulkarni Borzoo Bonakdarpour Ali Ebnenasir

Published in: LOPSTR (2004)

Keyphrases

fault tolerant
fault tolerance
distributed systems
high assurance
load balancing
functional programs
state machine
hardware designs
databases
energy consumption
high availability
program synthesis
symbolic execution