Yi Lv

Latest

• An Automatic Proving Approach to Parameterized Verification Log. 19(4): 27:1-27:25 (2018)
• A novel approach to parameterized verification of cache coherence protocols ICCD 2016: 560-567