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