CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers.

Dirk Beyer, Thomas Lemberger, Henrik Wachowitz

Browse the full ATVA paper archive.