Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic
暂无分享,去创建一个
[1] Peter W. O'Hearn,et al. Scalable Shape Analysis for Systems Code , 2008, CAV.
[2] Ahmed Bouajjani,et al. Abstract Regular Tree Model Checking of Complex Dynamic Data Structures , 2006, SAS.
[3] Parosh Aziz Abdulla,et al. Monotonic Abstraction for Programs with Dynamic Memory Heaps , 2008, CAV.
[4] Peter W. O'Hearn,et al. On Scalable Shape Analysis , 2007 .
[5] Matthew J. Parkinson,et al. jStar: towards practical verification for java , 2008, OOPSLA.
[6] Reinhard Wilhelm,et al. Parametric shape analysis via 3-valued logic , 1999, POPL '99.
[7] R. Wilhelm,et al. Parametric Shape Analysis via 3 - valued Logic TOPLAS , 2002 .
[8] Peter W. O'Hearn,et al. Shape Analysis for Composite Data Structures , 2007, CAV.
[9] Peter W. O'Hearn,et al. Compositional Shape Analysis by Means of Bi-Abduction , 2011, JACM.