Chapter 8. Verifying the System

FIXME! FIXME! TO BE WRITTEN !