Predicate abstraction and canonical abstraction for singly-linked listsRoman ManevichE. Yahavet al.2005VMCAI 2005