Technical Reports
-
CRIS: The Power of Imagination in Software Verification.
Yonghee Kim,
Taeyoung Yoon,
Sanghyun Yi,
Jaehyung Lee,
Soonwon Moon,
Yeji Han,
Seonho Lee,
Taeyoung Rhee,
Yujin Im,
Donghyun Nam,
Jieung Kim,
Chung-Kil Hur.
SFLab Technical Report SFLab-2025-001, November 2025.
[paper: pdf]