APPENDIX A: THE VERIFICATION SUITE