syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications
| Title | syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Demasi, R, Castro, PF, Ricci, N, Maibaum, TSE, Aguirre, N |
| Editor | Baier, C, Tinelli, C |
| Conference Name | Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, {TACAS} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings |
| Publisher | Springer |
| URL | http://dx.doi.org/10.1007/978-3-662-46681-0_13 |
| DOI | 10.1007/978-3-662-46681-0_13 |
Work Package:
WP5
