Chapter 1. Introduction

This chapter introduces the protocol checker. It contains the following sections:

Copyright © 2005, 2006, 2009 ARM. All rights reserved.ARM DUI 0305C
Non-Confidential