Pregunta de entrevista de Qualcomm

How to formally verify a cache.