Question d’entretien chez Arm

Basic stuff about Verification and assertions