Counter Automata -- Lazy Shape Analysis -- Abstraction for Shape Analysis with Fast and