<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Ultimate Automizer SV-COMP 2025

integration_instructionsResearch softwarekeyboard_double_arrow_right Software 12 Oct 2024 English Publisher:Zenodo

Authors: Dietsch, Daniel; Bentele, Manuel; Ebbinghaus, Marcel; Heizmann, Matthias; Klumpp, Dominik; Podelski, Andreas; Schüssele, Frank;

Ultimate Automizer SV-COMP 2025

- Summary
- Related research
  (1)
- Metrics

Abstract

This is Ultimate Automizer's competition version for SV-COMP 2025. Visit our Github repository for the latest version or our website to try it for yourself.

1 Research products, page 1 of 1

Ultimate Automizer SV-COMP 2024
2023HasVersion

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average

Ultimate Automizer SV-COMP 2025

Ultimate Automizer SV-COMP 2025

1 Research products, page 1 of 1

Ultimate Automizer SV-COMP 2024