Chung-Kil Hur: CRIS: The Power of Imagination in Specification and Verification (Invited Talk). CPP 2025: 2