Pseudo-LRU Not Efficient in Real World? Use Formal Verification to Bridge the Gap Author(s): Paras Gupta, Sachin Kumawat, and Kevin Bhensdadiya Download
