Ultimate automizer and the commuhash normal form
Abstract: The verification approach of ULTIMATE AUTOMIZER utilizes SMT formulas. This paper presents techniques to keep the size of the formulas small. We focus especially on a normal form, called CommuHash normal form that was easy to implement and had a significant impact on the runtime of our tool
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Tools and Algorithms for the Construction and Analysis of Systems. - Cham, 2023. - 577-581, ISBN: 978-3-031-30820-8
- Ereignis
-
Veröffentlichung
- (wo)
-
Freiburg
- (wer)
-
Universität
- (wann)
-
2024
- Urheber
-
Heizmann, Matthias
Barth, Max
Dietsch, Daniel
Fichtner, Leonard
Hoenicke, Jochen
Klumpp, Dominik
Naouar, Mehdi
Schindler, Tanja
Schuessele, Frank
Podelski, Andreas
- Beteiligte Personen und Organisationen
- DOI
-
10.1007/978-3-031-30820-8_39
- URN
-
urn:nbn:de:bsz:25-freidok-2473488
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:46 MEZ
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
- Barth, Max
- Dietsch, Daniel
- Fichtner, Leonard
- Hoenicke, Jochen
- Klumpp, Dominik
- Naouar, Mehdi
- Schindler, Tanja
- Schuessele, Frank
- Podelski, Andreas
- Albert-Ludwigs-Universität Freiburg
- Albert-Ludwigs-Universität Freiburg. Institut für Informatik
- Universität
Entstanden
- 2024
Ähnliche Objekte (12)
Ultimate taipan and race detection in ultimate
Normal forms for Dirac–Jacobi bundles and splitting theorems for Jacobi structures
Age-related similarities and differences in ultimate attainment in second language morphosyntax
Ultimate GemCutter and the axes of generalization
Ultimate Taipan with symbolic interpretation and fluid abstractions : : (competition contribution)
Ultimate TreeAutomizer (CHC-COMP tool description)
Ultimate automizer and the abstraction of bitwise operations
Remanufacturing : the ultimate form of recycling
Gesprächssituation und Situationsinterpretation : : normale und pathologische Prozesse
Ultimate Origins
Ultimate fallout
Unnatural narratology and premodern narratives: historicizing a form
Ultimate taipan and race detection in ultimate
Normal forms for Dirac–Jacobi bundles and splitting theorems for Jacobi structures
Age-related similarities and differences in ultimate attainment in second language morphosyntax
Ultimate GemCutter and the axes of generalization
Ultimate Taipan with symbolic interpretation and fluid abstractions : : (competition contribution)
Ultimate TreeAutomizer (CHC-COMP tool description)
Ultimate automizer and the abstraction of bitwise operations
Remanufacturing : the ultimate form of recycling
Gesprächssituation und Situationsinterpretation : : normale und pathologische Prozesse
Ultimate Origins
Ultimate fallout
Unnatural narratology and premodern narratives: historicizing a form
Ultimate taipan and race detection in ultimate
Normal forms for Dirac–Jacobi bundles and splitting theorems for Jacobi structures
Age-related similarities and differences in ultimate attainment in second language morphosyntax
Ultimate GemCutter and the axes of generalization
Ultimate Taipan with symbolic interpretation and fluid abstractions : : (competition contribution)
Ultimate TreeAutomizer (CHC-COMP tool description)
Ultimate automizer and the abstraction of bitwise operations
Remanufacturing : the ultimate form of recycling
Gesprächssituation und Situationsinterpretation : : normale und pathologische Prozesse
Ultimate Origins
Ultimate fallout