1. 7

Mostly surveys a lot of techniques they might try to apply to this with their strengths and weaknesses. A lot of coverage of model-checking approaches such as SPIN.

  1.