Shape analysis through predicate abstraction and model check(15)

Abstract. We propose a new framework, based on predicate abstraction and model checking, for shape analysis of programs. Shape analysis is used to statically collect information — such as possible reachability and sharing — about program stores. Rather t

31.A.Stump,C.W.Barrett,D.L.Dill,andJ.R.Levitt.Adecisionprocedureforan

extensionaltheoryofarrays.InLICS,pages29–37,2001.

32./~kedar/shape.

33.E.Yahav.VerifyingsafetypropertiesofconcurrentJavaprogramsusing3-valued

logic.InPOPL,pages27–40,2001.

百度搜索“77cn”或“免费范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，免费范文网，提供经典小说教育文库Shape analysis through predicate abstraction and model check(15)在线全文阅读。