Goblint : Thread-Modular Abstract Interpretation Using Side-Effecting Constraints: (Competition Contribution)S Saan, M Schwarz, K Apinis, J Erhard, H Seidl, R Vogler, V Vojdani
Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021
18 2021 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 Improving thread-modular abstract interpretation M Schwarz, S Saan, H Seidl, K Apinis, J Erhard, V Vojdani
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA …, 2021
10 2021 Clustered relational thread-modular abstract interpretation with local traces M Schwarz, S Saan, H Seidl, J Erhard, V Vojdani
European Symposium on Programming, 28-58, 2023
9 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 When long jumps fall short: Control-flow tracking and misuse detection for non-local jumps in C M Schwarz, J Erhard, V Vojdani, S Saan, H Seidl
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of …, 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 Octagons Revisited: Elegant Proofs and Simplified Algorithms M Schwarz, H Seidl
International Static Analysis Symposium, 485-507, 2023
1 2023 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 Correction to: Octagons Revisited: Elegant Proofs and Simplified Algorithms M Schwarz, H Seidl
International Static Analysis Symposium, C1-C1, 2023
2023 Thread-Modular Abstract Interpretation for Multi-Threaded Code M Schwarz
2021 Joint Workshop of the German Research Training Groups in Computer …, 2021
2021