A la chasse aux bugs : la vérification des programmes et circuits