Chapter 6. Verifying the post-upgrade state