Introduction

This appendix provides an overview of the verification customization points.