Goblint: Autotuning Thread-Modular Abstract Interpretation: (Competition Contribution) S Saan, M Schwarz, J Erhard, M Pietsch, H Seidl, S Tilscher, V Vojdani International Conference on Tools and Algorithms for the Construction and …, 2023 | 11 | 2023 |
Goblint: Abstract Interpretation for Memory Safety and Termination: (Competition Contribution) S Saan, J Erhard, M Schwarz, S Bozhilov, K Holter, S Tilscher, V Vojdani, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 3 | 2024 |
Correctness witness validation by abstract interpretation S Saan, M Schwarz, J Erhard, H Seidl, S Tilscher, V Vojdani International Conference on Verification, Model Checking, and Abstract …, 2023 | 2 | 2023 |
Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap J Erhard, S Saan, S Tilscher, M Schwarz, K Holter, V Vojdani, H Seidl arXiv preprint arXiv:2209.10445, 2022 | 2 | 2022 |
Goblint Validator: Correctness Witness Validation by Abstract Interpretation: (Competition Contribution) S Saan, J Erhard, M Schwarz, S Bozhilov, K Holter, S Tilscher, V Vojdani, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 1 | 2024 |
2-pointer logic H Seidl, J Erhard, M Schwarz, S Tilscher Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on …, 2024 | 1 | 2024 |
The Top-Down Solver—An Exercise in I S Tilscher, Y Stade, M Schwarz, R Vogler, H Seidl Challenges of Software Verification, 157-179, 2023 | 1 | 2023 |
Non-Numerical Weakly Relational Domains H Seidl, J Erhard, S Tilscher, M Schwarz arXiv preprint arXiv:2401.05165, 2024 | | 2024 |