Another late night proofing that I missed. On the CTL problem, #5 is not valid, for similar reasons to the other one. Namely AFt will not be satisfied for the path taken by the looping s0 path. Sorry for the confusion.
-James
Category: Uncategorized
Answers for Final Exam Sample Questions (with corrections!! :))
2013cs112FinalExamSamplesWithAnswers
I’ve provided answers for about half of the questions. These should give you an idea of what kind of answers I’m looking for.
Again, if there are any remaining questions, feel free to email me tonight or tomorrow!!
(Some very attentive student caught two errors, and they’ve been corrected now. Thanks!)
-James