Pergunta de entrevista da empresa Qualcomm

How to formally verify a cache.