SMT-Based Synthesis of Fault-Tolerant Architectures.

Kevin Delmas Rémi Delmas Claire Pagetti

Published in: SAFECOMP (2017)

Keyphrases

fault tolerant
fault tolerance
interconnection networks
distributed systems
load balancing
state machine
high availability
statistical machine translation
safety critical
database management systems
fault isolation