Plan of Attack
This third session goes towards dividing up all that work into some logical categories and coming up with a plan of attack for overall verification success. A threefold attack is suggested and described, followed by 3 example approaches.
