Hochschulschrift
Automatic abstraction for bit-vectors using decision procedures
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Aachen, Techn. Hochsch., Diss., 2013
- Erschienen in
-
Aachener Informatik-Berichte ; 2013/14
- Schlagwort
-
Abstrakte Interpretation , Entscheidungsverfahren , Bitvektor
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
- (wann)
-
2014
- Urheber
- URN
-
urn:nbn:de:hbz:82-opus-48361
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:58 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Brauer, Jörg
- Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen
Entstanden
- 2014
Ähnliche Objekte (12)
Automatic abstraction for bit-vectors using decision procedures
AUTOMATIC BUILDING ABSTRACTION FROM AERIAL PHOTOGRAMMETRY
Designing a General-Purpose 8-bit (T)FHE Processor Abstraction
Effective Approaches to Abstraction Refinement for Automatic Software Verification
From Local Search to Quantifier Elimination for Bit-Vectors in SMT
Abstraction.
Efficient SMT solving for bit vectors and the extensional theory of arrays
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers
Bit by Bit
Public abstraction
"abstraction", Aschenbecher
An Abstraction for Proof Planning: The S-Abstraction
Automatic abstraction for bit-vectors using decision procedures
AUTOMATIC BUILDING ABSTRACTION FROM AERIAL PHOTOGRAMMETRY
Designing a General-Purpose 8-bit (T)FHE Processor Abstraction
Effective Approaches to Abstraction Refinement for Automatic Software Verification
From Local Search to Quantifier Elimination for Bit-Vectors in SMT
Abstraction.
Efficient SMT solving for bit vectors and the extensional theory of arrays
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers
Bit by Bit
Public abstraction
"abstraction", Aschenbecher
An Abstraction for Proof Planning: The S-Abstraction
Automatic abstraction for bit-vectors using decision procedures
AUTOMATIC BUILDING ABSTRACTION FROM AERIAL PHOTOGRAMMETRY
Designing a General-Purpose 8-bit (T)FHE Processor Abstraction
Effective Approaches to Abstraction Refinement for Automatic Software Verification
From Local Search to Quantifier Elimination for Bit-Vectors in SMT
Abstraction.
Efficient SMT solving for bit vectors and the extensional theory of arrays
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers
Bit by Bit
Public abstraction
"abstraction", Aschenbecher