It is a hard class. The professor is very nice and wants you to succeed. There is a semester project which you can work on with a partner and a paper presentation if you are taking the grad section. The content is very difficult to wrap around so attending office hours is a must. The grading is lenient.

We had 4 assignments, three of which involved coding using model checking tools. These tools had very little documentation so that was the main difficulty with these assignments. One final exam. Course does delve into formal specification and theoretical computer science heavily, so expect to do some propositional math, but no proofs though.

Pros: Professor was very nice. She specializes in this area so she is very knowledgeable. Her grading is lenient as well. Cons: Lectures can be hard and dull, she goes too fast, so expect to rewatch the recordings to thoroughly understand the lecture since there are barely any resources online.

Attend more office hours and take better notes. Professor does a lot of diagrams, so be prepared. Don't skip out on assignments because there are only four.