Announcement_5
I am honored to share that my paper, “Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs”, has received the Distinguished Paper Award at FM’24.
I am honored to share that my paper, “Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs”, has received the Distinguished Paper Award at FM’24.