Ultimate automizer and the search for perfect interpolants : : (competition contribution)
Abstract: Ultimate Automizer is a software verifier that generalizes proofs for traces to proofs for larger parts for the program. In recent years the portfolio of proof producers that are available to Ultimate has grown continuously. This is not only because more trace analysis algorithms have been implemented in Ultimate but also due to the continuous progress in the SMT community. In this paper we explain how Ultimate Automizer dynamically selects trace analysis algorithms and how the tool decides when proofs for traces are “good” enough for using them in the abstraction refinement
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Lecture notes in computer science. - 10806 (2018) , 447-451, ISSN: 1611-3349
- Ereignis
-
Veröffentlichung
- (wo)
-
Freiburg
- (wer)
-
Universität
- (wann)
-
2021
- Urheber
- DOI
-
10.1007/978-3-319-89963-3_30
- URN
-
urn:nbn:de:bsz:25-freidok-1762458
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:28 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Heizmann, Matthias
- Chen, Yu-Fang
- Dietsch, Daniel
- Greitschus, Marius
- Hoenicke, Jochen
- Li, Yong
- Nutz, Alexander
- Musa, Betim
- Schilling, Christian
- Schindler, Tanja
- Podelski, Andreas
- Universität
Entstanden
- 2021
Ähnliche Objekte (12)
Ultimate Automizer and the Search for Perfect Interpolants : (Competition Contribution)
Wide area stability analysis and control of interconnected power systems with HVDC and FACTS devices
Interconnected power systems : wide-area dynamic monitoring and control applications
Das Gleichheitsprinzip bei der Steuererhebung
Sodium doping, back interface modification and light trapping in bifacial semi-transparent ultrathin Cu(In,Ga)Se2 solar cells
Atomistic simulation of dealloying-made microstructures
Size-dependent phase change in energy storage materials: comparing the impact of solid-state wetting and of coherency stress
How agglomeration in the financial services industry influences economic growth : Evidence from Chinese cities
Design and analysis of cryptographic protocols
On factors defining the mechanical behavior of nanoporous gold
Evolution of length scales and of chemical heterogeneity during primary and secondary dealloying
Corrigendum: 1000 Genomes-based meta-analysis identifies 10 novel loci for kidney function
Ultimate Automizer and the Search for Perfect Interpolants : (Competition Contribution)
Wide area stability analysis and control of interconnected power systems with HVDC and FACTS devices
Interconnected power systems : wide-area dynamic monitoring and control applications
Das Gleichheitsprinzip bei der Steuererhebung
Sodium doping, back interface modification and light trapping in bifacial semi-transparent ultrathin Cu(In,Ga)Se2 solar cells
Atomistic simulation of dealloying-made microstructures
Size-dependent phase change in energy storage materials: comparing the impact of solid-state wetting and of coherency stress
How agglomeration in the financial services industry influences economic growth : Evidence from Chinese cities
Design and analysis of cryptographic protocols
On factors defining the mechanical behavior of nanoporous gold
Evolution of length scales and of chemical heterogeneity during primary and secondary dealloying
Corrigendum: 1000 Genomes-based meta-analysis identifies 10 novel loci for kidney function
Ultimate Automizer and the Search for Perfect Interpolants : (Competition Contribution)
Wide area stability analysis and control of interconnected power systems with HVDC and FACTS devices
Interconnected power systems : wide-area dynamic monitoring and control applications
Das Gleichheitsprinzip bei der Steuererhebung
Sodium doping, back interface modification and light trapping in bifacial semi-transparent ultrathin Cu(In,Ga)Se2 solar cells
Atomistic simulation of dealloying-made microstructures
Size-dependent phase change in energy storage materials: comparing the impact of solid-state wetting and of coherency stress
How agglomeration in the financial services industry influences economic growth : Evidence from Chinese cities
Design and analysis of cryptographic protocols
On factors defining the mechanical behavior of nanoporous gold
Evolution of length scales and of chemical heterogeneity during primary and secondary dealloying