Chaked R. J. Sayedoff | DeepAI

DeepAI

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

Featured Co-authors

Ofer Strichman
5 publications

research

∙ 07/28/2022

Regression verification of unbalanced recursive functions with multiple calls (long version)

Given two programs p_1 and p_2, typically two versions of the same progr...

0 Chaked R. J. Sayedoff, et al. ∙