Dynamic Symbolic Execution with Scalable Interpolation Based Path Merging

zu Verbundenen Objekten

Weitere Titel
Dynamische symbolische Ausführung mit skalierbarer interpolationsbasierter Pfadverschmelzung
Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
München, Technische Universität München, Dissertation, 2017

Schlagwort
Interpolation
Race
Scheduling

Ereignis
Veröffentlichung
(wo)
München
(wer)
Universitätsbibliothek der TU München
(wann)
2017
Urheber
Ibing, Andreas
Beteiligte Personen und Organisationen
Eckert, Claudia
Pretschner, Alexander
Eckert, Claudia

URN
urn:nbn:de:bvb:91-diss-20170609-1335982-1-8
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:53 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Ibing, Andreas
  • Eckert, Claudia
  • Pretschner, Alexander
  • Universitätsbibliothek der TU München

Entstanden

  • 2017

Ähnliche Objekte (12)

Abstraction refinement with craig interpolation and symbolic pushdown systems

Abstraction refinement with craig interpolation and symbolic pushdown systems

A path to a conception of symbolic truth

A path to a conception of symbolic truth

Merging Economic Forecasts

Arbeitspapier

Merging Economic Forecasts

Generations re-merging

Generations re-merging

Interpolationen

Archivale

Interpolationen

Interpolation

Abschnitt

Interpolation

Constraint driven schema merging

Hochschulschrift

Constraint driven schema merging

Signposts of Hierarchical Merging

Hochschulschrift

Signposts of Hierarchical Merging

Constraint driven schema merging

Hochschulschrift

Constraint driven schema merging

Calibrated Forecasting and Merging

Arbeitspapier

Calibrated Forecasting and Merging

Signposts of hierarchical merging

Hochschulschrift

Signposts of hierarchical merging

Die Interpolation.

Aufsatz

Die Interpolation.

Verbundene Objekte