Question d’entretien chez Qualcomm

How to formally verify a cache.