Send email Copy Email Address
2021

Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution).

Summary

--

Conference Paper

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Date published

2021

Date last modified

2026-05-29