Symbolic execution and program synthesis : a general methodology for software verification
- Alternative title
-
Symbolische Auswertung und Programmsynthese
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
RWTH Aachen University, Dissertation, 2019
- Keyword
-
Methodology
Computer software--Verification
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2019
- Creator
- Contributor
-
Giesl, Jürgen
Rubio, Albert
- DOI
-
10.18154/RWTH-2019-01779
- URN
-
urn:nbn:de:101:1-2019080607220709794436
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:52 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
- Ströder, Thomas
- Giesl, Jürgen
- Rubio, Albert
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2019
Other Objects (12)
Integrating Symbolic Execution, Debugging and Verification
Java program analysis by symbolic execution
Interactive Verification of Concurrent Systems using Symbolic Execution
Sound Program Transformation Based on Symbolic Execution and Deduction
Towards Effective Symbolic Execution
Integrating symbolic execution, debugging and verification : = Integration von symbolischer Programmausführung, Debugging und Verifikation
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
Verification of program computations
symQV : Automated Symbolic Verification of Quantum Programs
Integrating Symbolic Execution, Debugging and Verification
Java program analysis by symbolic execution
Interactive Verification of Concurrent Systems using Symbolic Execution
Sound Program Transformation Based on Symbolic Execution and Deduction
Towards Effective Symbolic Execution
Integrating symbolic execution, debugging and verification : = Integration von symbolischer Programmausführung, Debugging und Verifikation
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
Verification of program computations
symQV : Automated Symbolic Verification of Quantum Programs
Integrating Symbolic Execution, Debugging and Verification
Java program analysis by symbolic execution
Interactive Verification of Concurrent Systems using Symbolic Execution
Sound Program Transformation Based on Symbolic Execution and Deduction
Towards Effective Symbolic Execution
Integrating symbolic execution, debugging and verification : = Integration von symbolischer Programmausführung, Debugging und Verifikation
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
Verification of program computations