SWE 637 In Class Exercise Number 8

This is a (semantic) logic testing exercise. Work in groups.

We'll take advantage of the fact that the lectures are available on video. As noted on Piazza, you should watch this week's lecture before class.

I'll give a very brief overview, and then we'll practice. I'll post an example predicate, and we'll work out the relevant computations: determination, ACC, ICC. We'll repeat the process with additional predicates.

Important! Once you figure out what is going on, please turn your new-found understanding to good use: Help your classmates get to the same place!

Also important! The logic coverage tool on the book website is a great resource for checking your work.