Login / Signup
syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications.
Ramiro Demasi
Pablo F. Castro
Nicolás Ricci
Thomas Stephen Edward Maibaum
Nazareno Aguirre
Published in:
TACAS (2015)
Keyphrases
</>
fault tolerant
fault tolerance
distributed systems
control flow
load balancing
high level
multi agent systems
finite state machines
high availability
safety critical
logic programs
temporal logic
representation language
mobile agent system