Announcement_4
I am excited to announce that my paper titled “Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs” has been accepted at FM’24.
I am excited to announce that my paper titled “Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs” has been accepted at FM’24.