DASA: Fully Gradient-based Program Analysis (Competition Contribution)

Jan 1, 2026·
Felix Mächtle
,
Jan-Niclas Serr
,
Nils Loose
,
Thomas Eisenbarth
· 0 min read
Type
Publication
Tools and Algorithms for the Construction and Analysis of Systems – 32nd International Conference (TACAS 2026)