Browsing Theses by Author "Faghihekhorasani, Fathiyeh"
Now showing items 1-1 of 1
-
Automated Synthesis of Timed and Distributed Fault-Tolerant Systems
Faghihekhorasani, Fathiyeh (University of Waterloo, 2015-09-21)This dissertation concentrates on the problem of automated synthesis and repair of fault-tolerant systems. In particular, given the required specification of the system, our goal is to synthesize a fault-tolerant system, ...