- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Bremen, Universität Bremen, Dissertation, 2024
- Klassifikation
-
Elektrotechnik, Elektronik
- Schlagwort
-
Eingebettetes System
Softwareentwicklung
Softwaretest
Model Checking
Formale Methode
Drahtloses Sensorsystem
- Ereignis
-
Veröffentlichung
- (wo)
-
Bremen
- (wer)
-
Staats- und Universitätsbibliothek Bremen
- (wann)
-
2024
- Urheber
-
Tempel, Sören
- Beteiligte Personen und Organisationen
- DOI
-
10.26092/elib/3090
- URN
-
urn:nbn:de:gbv:46-elib80569
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:55 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.
Beteiligte
- Tempel, Sören
- Drechsler, Rolf
- Baccelli, Emmanuel
- Staats- und Universitätsbibliothek Bremen
Entstanden
- 2024
Ähnliche Objekte (12)
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
Integrating Symbolic Execution, Debugging and Verification
Automated test-case generation with symbolic execution
Improving automatic software repair with probabilistic symbolic execution
Interactive Verification of Concurrent Systems using Symbolic Execution
Identifying Multi-Binary Vulnerabilities in Embedded Firmware at Scale
Sound programm transformation based on symbolic execution and deduction
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
Integrating Symbolic Execution, Debugging and Verification
Automated test-case generation with symbolic execution
Improving automatic software repair with probabilistic symbolic execution
Interactive Verification of Concurrent Systems using Symbolic Execution
Identifying Multi-Binary Vulnerabilities in Embedded Firmware at Scale
Sound programm transformation based on symbolic execution and deduction
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
Integrating Symbolic Execution, Debugging and Verification
Automated test-case generation with symbolic execution
Improving automatic software repair with probabilistic symbolic execution
Interactive Verification of Concurrent Systems using Symbolic Execution
Identifying Multi-Binary Vulnerabilities in Embedded Firmware at Scale