- Weitere Titel
-
Integration von symbolischer Programmausführung, Debugging und Verifikation
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Darmstadt, Technische Universität Darmstadt, Dissertation, 2016
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Darmstadt
- (wer)
-
Universitäts- und Landesbibliothek Darmstadt
- (wann)
-
2016
- Urheber
- Beteiligte Personen und Organisationen
-
Hähnle, Reiner
Leino, K. Rustan M.
- URN
-
urn:nbn:de:tuda-tuprints-53995
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:47 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Hentschel, Martin
- Hähnle, Reiner
- Leino, K. Rustan M.
- Universitäts- und Landesbibliothek Darmstadt
Entstanden
- 2016
Ähnliche Objekte (12)
Integrating symbolic execution, debugging and verification : = Integration von symbolischer Programmausführung, Debugging und Verifikation
Interactive Verification of Concurrent Systems using Symbolic Execution
Symbolic execution and program synthesis : a general methodology for software verification
Towards Effective Symbolic Execution
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Symbolic execution of distributed systems
Symbolic worst case execution times
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Java program analysis by symbolic execution
symQV : Automated Symbolic Verification of Quantum Programs
Automated test-case generation with symbolic execution
Mixed signal circuit verification using symbolic model checking techniques
Integrating symbolic execution, debugging and verification : = Integration von symbolischer Programmausführung, Debugging und Verifikation
Interactive Verification of Concurrent Systems using Symbolic Execution
Symbolic execution and program synthesis : a general methodology for software verification
Towards Effective Symbolic Execution
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Symbolic execution of distributed systems
Symbolic worst case execution times
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Java program analysis by symbolic execution
symQV : Automated Symbolic Verification of Quantum Programs
Automated test-case generation with symbolic execution
Mixed signal circuit verification using symbolic model checking techniques
Integrating symbolic execution, debugging and verification : = Integration von symbolischer Programmausführung, Debugging und Verifikation
Interactive Verification of Concurrent Systems using Symbolic Execution
Symbolic execution and program synthesis : a general methodology for software verification
Towards Effective Symbolic Execution
Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
Symbolic execution of distributed systems
Symbolic worst case execution times
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Java program analysis by symbolic execution
symQV : Automated Symbolic Verification of Quantum Programs
Automated test-case generation with symbolic execution