Zafer Esen | DeepAI

DeepAI

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

Featured Co-authors

Philipp Rümmer
16 publications
Dilian Gurov
9 publications
Christian Lidström
2 publications
Jesper Amilon
1 publication

research

∙ 05/26/2023

Automatic Program Instrumentation for Automatic Verification (Extended Technical Report)

In deductive verification and software model checking, dealing with cert...

0 Jesper Amilon, et al. ∙

research

∙ 04/09/2021

A Theory of Heap for Constrained Horn Clauses (Extended Technical Report)

Constrained Horn Clauses (CHCs) are an intermediate program representati...

0 Zafer Esen, et al. ∙