Verification of embedded software models by combining abstract interpretation, symbolic execution and stability analysis
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
RWTH Aachen University, Dissertation, 2019
- Erschienen in
-
Aachener Informatik-Berichte ; 2019-04
- Schlagwort
-
Stability
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2019
- Urheber
- Beteiligte Personen und Organisationen
-
Kowalewski, Stefan
Moormann, Dieter
- DOI
-
10.18154/RWTH-2019-05178
- URN
-
urn:nbn:de:101:1-2020052207171233561578
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:42 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
- Dernehl, Christian Michael
- Kowalewski, Stefan
- Moormann, Dieter
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2019
Ähnliche Objekte (12)
Integrating Symbolic Execution, Debugging and Verification
Accurate binary-level symbolic execution of embedded firmware
Interactive Verification of Concurrent Systems using Symbolic Execution
Symbolic methods applied to formal verification and synthesis in embedded systems design
Symbolic execution and program synthesis : a general methodology for software verification
Towards Effective Symbolic Execution
Integrating symbolic execution, debugging and verification : = Integration von symbolischer Programmausführung, Debugging und Verifikation
Symbolic execution of distributed systems
Symbolic worst case execution times
Self-Verification - Verification of Embedded Systems after Deployment
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
Accurate binary-level symbolic execution of embedded firmware
Interactive Verification of Concurrent Systems using Symbolic Execution
Symbolic methods applied to formal verification and synthesis in embedded systems design
Symbolic execution and program synthesis : a general methodology for software verification
Towards Effective Symbolic Execution
Integrating symbolic execution, debugging and verification : = Integration von symbolischer Programmausführung, Debugging und Verifikation
Symbolic execution of distributed systems
Symbolic worst case execution times
Self-Verification - Verification of Embedded Systems after Deployment
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
Accurate binary-level symbolic execution of embedded firmware
Interactive Verification of Concurrent Systems using Symbolic Execution
Symbolic methods applied to formal verification and synthesis in embedded systems design
Symbolic execution and program synthesis : a general methodology for software verification
Towards Effective Symbolic Execution
Integrating symbolic execution, debugging and verification : = Integration von symbolischer Programmausführung, Debugging und Verifikation
Symbolic execution of distributed systems
Symbolic worst case execution times
Self-Verification - Verification of Embedded Systems after Deployment
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction