Chapter 1604 Verification and Analysis