Nola: Later-Free Ghost State for Verifying Termination in Iris

Open Webpage

Yusuke Matsushita, Takeshi Tsukada

Published: 10 Jun 2025, Last Modified: 25 Jan 2026Proceedings of the ACM on Programming LanguagesEveryoneRevisionsCC BY-SA 4.0
External IDs:doi:10.1145/3729250