Sergey Ivanovskiy | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

René Haberland
10 publications
Kirill Krinkin
7 publications

research

∙ 06/06/2019

Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog

A Prolog-based framework for fully automated verification currently unde...

0 René Haberland, et al. ∙

research

∙ 06/01/2019

Abstract Predicate Entailment over Points-To Heaplets is Syntax Recognition

Abstract predicates are considered in this paper as abstraction techniqu...

0 René Haberland, et al. ∙