- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Dresden, Technische Universität Dresden, Dissertation, 2024
- Schlagwort
-
Programmverifikation
Model Checking
- Ereignis
-
Veröffentlichung
- (wo)
-
Dresden
- (wer)
-
Technische Universität Dresden
- (wann)
-
2024
- Urheber
-
Nowack, Martin
- Beteiligte Personen und Organisationen
-
Fetzer, Christof
Zeller, Andreas
- URN
-
urn:nbn:de:bsz:14-qucosa2-906658
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:52 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
- Nowack, Martin
- Fetzer, Christof
- Zeller, Andreas
- Technische Universität Dresden
Entstanden
- 2024
Ähnliche Objekte (12)
Symbolic execution formally explained
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
KLEE symbolic execution engine in 2019
Integrating Symbolic Execution, Debugging and Verification
Java program analysis by symbolic execution
Automated test-case generation with symbolic execution
Effective Trade Execution
Interactive Verification of Concurrent Systems using Symbolic Execution
Accurate binary-level symbolic execution of embedded firmware
Improving automatic software repair with probabilistic symbolic execution
Symbolic execution formally explained
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
KLEE symbolic execution engine in 2019
Integrating Symbolic Execution, Debugging and Verification
Java program analysis by symbolic execution
Automated test-case generation with symbolic execution
Effective Trade Execution
Interactive Verification of Concurrent Systems using Symbolic Execution
Accurate binary-level symbolic execution of embedded firmware
Improving automatic software repair with probabilistic symbolic execution
Symbolic execution formally explained
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
KLEE symbolic execution engine in 2019
Integrating Symbolic Execution, Debugging and Verification
Java program analysis by symbolic execution
Automated test-case generation with symbolic execution
Effective Trade Execution
Interactive Verification of Concurrent Systems using Symbolic Execution
Accurate binary-level symbolic execution of embedded firmware