Hochschulschrift
Temporal Program Verification and Synthesis as Horn Constraints Solving
- Weitere Titel
-
Temporale Program Verifikation und Synthese als Horn Klauseln Lösung
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Dissertation, 2015
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Universitätsbibliothek der TU München
- (wann)
-
2015
- Urheber
-
Beyene, Tewodros Awgichew
- Beteiligte Personen und Organisationen
-
Rybalchenko, Andrey
Rümmer, Philipp
Seidl, Helmut
- URN
-
urn:nbn:de:bvb:91-diss-20151221-1273274-1-1
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:56 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Beyene, Tewodros Awgichew
- Rybalchenko, Andrey
- Rümmer, Philipp
- Seidl, Helmut
- Universitätsbibliothek der TU München
Entstanden
- 2015
Ähnliche Objekte (12)
Relational Reasoning - Constraint Solving, Deduction, and Program Verification
Constraint solving for verification
Verification of program computations
Temporal verification with transition invariants
Data flow in program verification
The foundations of program verification
The foundations of program verification
Document verification with temporal description logics
Temporal verification of reactive systems : safety
Light On String Solving : Approaches to Efficiently and Correctly Solving String Constraints
Verification of non-regular program properties
Compositional Concurrent Program Verification with RGITL
Relational Reasoning - Constraint Solving, Deduction, and Program Verification
Constraint solving for verification
Verification of program computations
Temporal verification with transition invariants
Data flow in program verification
The foundations of program verification
The foundations of program verification
Document verification with temporal description logics
Temporal verification of reactive systems : safety
Light On String Solving : Approaches to Efficiently and Correctly Solving String Constraints
Verification of non-regular program properties
Compositional Concurrent Program Verification with RGITL
Relational Reasoning - Constraint Solving, Deduction, and Program Verification
Constraint solving for verification
Verification of program computations
Temporal verification with transition invariants
Data flow in program verification
The foundations of program verification
The foundations of program verification
Document verification with temporal description logics
Temporal verification of reactive systems : safety
Light On String Solving : Approaches to Efficiently and Correctly Solving String Constraints
Verification of non-regular program properties