SWE 619 Quiz Guide 9
Fall 2017


Temporal logic specifications are the subject of quiz 9. Much as in the homework, you should be able to encode relatively simple English-language constraints in CTL.