2026-08-06T03:34:40Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:10905 2024-03-06T10:47:09Z ddc:004 open_access

Program Invariants (Invited Talk) Ouaknine, Joël Automated invariant generation program analysis and verification Automated invariant generation is a fundamental challenge in program analysis and verification, going back many decades, and remains a topic of active research. In this talk I'll present a select overview and survey of work on this problem, and discuss unexpected connections to other fields including algebraic geometry, group theory, and quantum computing. (No previous knowledge of these topics will be assumed.) This is joint work with Ehud Hrushovski, Amaury Pouly, and James Worrell. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Joël Ouaknine 2019 Is Part Of LIPIcs, Volume 140, 30th International Conference on Concurrency Theory (CONCUR 2019) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CONCUR.2019.3 urn:nbn:de:0030-drops-109056 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.3 eng https://creativecommons.org/licenses/by/3.0/legalcode