3 citations · 10 across the 11 of their papers we have counts for
Showing 2025 · cs.LOShow all
2 papers · 2 filters
cs.LO2025
Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
Emanuele De Angelis, Florian Frohn
This volume contains the post-proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2025), which took place in Zagreb, Croatia, on July 22, 2025, as…
cs.LO2025
Infinite State Model Checking by Learning Transitive Relations
Florian Frohn, Jürgen Giesl
We propose a new approach for proving safety of infinite state systems. It extends the analyzed system by transitive relations until its diameter D becomes finite, i.e., until cons…