Pseudo-LRU Not Efficient in Real World? Use Formal Verification to Bridge the Gap

Author(s):
Paras Gupta, Sachin Kumawat, and Kevin Bhensdadiya
Location:
India
Year:
2023
Type:
Paper
Format:
pdf