共 50 条
- [2] Data Abstraction: A General Framework to Handle Program Verification of Data Structures [J]. STATIC ANALYSIS, SAS 2021, 2021, 12913 : 215 - 235
- [5] Verification of Deployed Artifact Systems via Data Abstraction [J]. SERVICE-ORIENTED COMPUTING, 2011, 7084 : 142 - 156
- [7] Automatic data path abstraction for verification of large scale designs [J]. INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1998, : 192 - 194
- [8] PIR-based data integrity verification method in sensor network [J]. Journal of Central South University, 2014, 21 : 3883 - 3888