CoVEGI: Cooperative Verification via Externally Generated Invariants

von Haltermann, Jan
Veröffentlicht in FASE (24. : 2021 : Online) Fundamental approaches to software engineering (2021)

Information Exchange Between Over- and Underapproximating Software Analyses

von Haltermann, Jan
Veröffentlicht in International Conference on Software Engineering and Formal Methods (20. : 2022 : Berlin) Software engineering and formal methods (2022)

Parallel Program Analysis via Range Splitting

von Haltermann, Jan
Veröffentlicht in FASE (26. : 2023 : Paris) Fundamental approaches to software engineering (2023)