Automatic verification of heap-manipulating programs. - Yurii Kostyukov; Konstantin Batoev; Dmitry Mordvinov; Michael Kostitsyn; Aleksandr Misonizhnik (CoRR, 2019)