syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications.

Ramiro Demasi, Pablo F. Castro, Nicols Ricci, Thomas Stephen Edward Maibaum, Nazareno Aguirre

Browse the full TACAS paper archive.