Goblint: A Portfolio for Mixed Flow-Sensitive Abstract Interpretation - (Competition Contribution).

Simmo Saan, Ali Rasim Kocal, Michael Petter, Karoliine Holter, Julian Erhard, Michael Schwarz, Vesal Vojdani, Helmut Seidl

Browse the full TACAS paper archive.