Click on a search word OR use the drop-down choices to search for a paper.

Show all

2015

Demasi, Ramiro; Castro, Pablo F; Ricci, Nicolas; Maibaum, Thomas SE; Aguirre, Nazareno

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

In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 188–193, Springer 2015.

BibTeX | Tags: deontic logics, fault-tolerance, program synthesis, syntMaskFT, temporal logics