Ron Shemer | DeepAI

DeepAI

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

Featured Co-authors

Sharon Shoham
28 publications
Arie Gurfinkel
14 publications
Yakir Vizel
7 publications
Shmuel Tyszberowicz
2 publications
Aharon Abadi
1 publication
Bar Makovitzki
1 publication

research

∙ 05/07/2021

NoCFG: A Lightweight Approach for Sound Call Graph Approximation

Interprocedural analysis refers to gathering information about the entir...

0 Aharon Abadi, et al. ∙

research

∙ 05/19/2019

Property Directed Self Composition

We address the problem of verifying k-safety properties: properties that...

0 Ron Shemer, et al. ∙