A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Synthesizing fault-tolerant programs from deontic logic specifications
2013
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)
This dissertation concentrates on the problem of synthesizing fault-tolerant components from specifications, i.e., the problem of automatically constructing a faulttolerant component implementation from a logical specification of the component, and the system's required level of fault-tolerance. In our approach, the logical specification of the component is given in dCTL-, a fragment of a branching time temporal logic with deontic operators, especially designed for fault-tolerant component
doi:10.1109/ase.2013.6693149
dblp:conf/kbse/Demasi13
fatcat:z7sidjnzrfdwnginmj7nujhcg4