Staff
International Conference on Verification Model Checking and Abstract Interpretation (VMCAI)
Correctness Witness Validation by Abstract Interpretation.
Tools and Algorithms for Construction and Analysis of Systems (TACAS)
Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution).