Youngju Song | DeepAI

DeepAI

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

Featured Co-authors

Dongjae Lee
9 publications
Chung-Kil Hur
5 publications
Minki Cho
3 publications

research

∙ 03/14/2022

Conditional Contextual Refinement (CCR)

Contextual refinement (CR) is one of the standard notions of specifying ...

0 Youngju Song, et al. ∙

research

∙ 09/07/2021

Abstraction Logic: The Marriage of Contextual Refinement and Separation Logic

Contextual refinement and separation logics are successful verification ...

0 Youngju Song, et al. ∙