Login / Signup
A Formal Verification Methodology for Cache Architectures Based on Noninterference Hyperproperties.
Yusha Zhang
Ziyuan Zhu
Yuxin Liu
Zhongkai Tong
Wenjing Cai
Dan Meng
Published in:
CSCWD (2024)
Keyphrases
</>
formal verification
model checking
model checker
automated verification
symbolic model checking
bounded model checking
prefetching
memory hierarchy
program slicing
expert systems
orders of magnitude
main memory
design methodology
formal methods