2026-07-24T14:56:27Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:23953 2025-11-12T13:24:53Z ddc:004 open_access

On-The-Fly Verification: Advancements in Dependency Graphs (Invited Talk) Srba, Jiří dependency graphs Boolean equation systems on-the-fly algorithms fixed-point computation applications Dependency graphs have emerged as a versatile and powerful formalism with wide-ranging applications in formal verification. In this extended abstract, we provide an overview of selected advancements in on-the-fly verification techniques based on dependency graphs, focusing on the recent developments, optimizations and generalizations of this generic verification framework. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Jiří Srba 2025 Is Part Of LIPIcs, Volume 348, 36th International Conference on Concurrency Theory (CONCUR 2025) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CONCUR.2025.3 urn:nbn:de:0030-drops-239534 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2025.3 eng https://creativecommons.org/licenses/by/4.0/legalcode