- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Dresden, Technische Universität Dresden, Dissertation, 2024
- Keyword
-
Programmverifikation
Model Checking
- Event
-
Veröffentlichung
- (where)
-
Dresden
- (who)
-
Technische Universität Dresden
- (when)
-
2024
- Creator
-
Nowack, Martin
- Contributor
-
Fetzer, Christof
Fetzer, Christof
Zeller, Andreas
- URN
-
urn:nbn:de:bsz:14-qucosa2-906658
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:46 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Nowack, Martin
- Fetzer, Christof
- Zeller, Andreas
- Technische Universität Dresden
Time of origin
- 2024
Other Objects (12)
Symbolic execution of distributed systems
Symbolic worst case execution times
Effective Trade Execution
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Java program analysis by symbolic execution
Integrating Symbolic Execution, Debugging and Verification
Automated test-case generation with symbolic execution
Improving automatic software repair with probabilistic symbolic execution
Accurate binary-level symbolic execution of embedded firmware
Interactive Verification of Concurrent Systems using Symbolic Execution
Sound programm transformation based on symbolic execution and deduction
Symbolic execution for a clash-free subset of ASMs
Symbolic execution of distributed systems
Symbolic worst case execution times
Effective Trade Execution
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Java program analysis by symbolic execution
Integrating Symbolic Execution, Debugging and Verification
Automated test-case generation with symbolic execution
Improving automatic software repair with probabilistic symbolic execution
Accurate binary-level symbolic execution of embedded firmware
Interactive Verification of Concurrent Systems using Symbolic Execution
Sound programm transformation based on symbolic execution and deduction
Symbolic execution for a clash-free subset of ASMs
Symbolic execution of distributed systems
Symbolic worst case execution times
Effective Trade Execution
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Java program analysis by symbolic execution
Integrating Symbolic Execution, Debugging and Verification
Automated test-case generation with symbolic execution
Improving automatic software repair with probabilistic symbolic execution
Accurate binary-level symbolic execution of embedded firmware
Interactive Verification of Concurrent Systems using Symbolic Execution
Sound programm transformation based on symbolic execution and deduction