Bart Jacobs 0002. Foundational VeriFast: Pragmatic Certification of Verification Tool Results Through Hinted Mirroring. In Jyotirmoy V. Deshmukh, Klaus Havelund, Alessandro Pinto, editors, NASA Formal Methods - 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings. Volume 16622 of Lecture Notes in Computer Science, pages 477-484, Springer, 2026. [doi]
Abstract is missing.