- Alternative title
-
Verifikation zeigermanipulierender Programme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Techn. Hochsch., Dissertation, 2009
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2009
- Creator
- Contributor
- URN
-
urn:nbn:de:hbz:82-opus-29962
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:49 AM CEST
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.
Object type
- Hochschulschrift
Associated
- Rieger, Stefan
- Katoen, Joost-Pieter
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2009
Other Objects (12)
Automated deductive verification of probabilistic programs
Proving termination of pointer programs on top of symbolic execution
Termination analysis of procedural pointer programs modelled by graph grammars
Implementation of a Predicate-Guided Termination Analysis for Pointer Programs
Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Semantics and loop invariant synthesis for probabilistic programs
A Deductive Verification Infrastructure for Probabilistic Programs
Counterexamples in probabilistic verification
Relatively complete verification of probabilistic programs : an expressive language for expectation-based reasoning
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
Concepts, algorithms, and tools for model checking
Automated deductive verification of probabilistic programs
Proving termination of pointer programs on top of symbolic execution
Termination analysis of procedural pointer programs modelled by graph grammars
Implementation of a Predicate-Guided Termination Analysis for Pointer Programs
Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Semantics and loop invariant synthesis for probabilistic programs
A Deductive Verification Infrastructure for Probabilistic Programs
Counterexamples in probabilistic verification
Relatively complete verification of probabilistic programs : an expressive language for expectation-based reasoning
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
Concepts, algorithms, and tools for model checking
Automated deductive verification of probabilistic programs
Proving termination of pointer programs on top of symbolic execution
Termination analysis of procedural pointer programs modelled by graph grammars
Implementation of a Predicate-Guided Termination Analysis for Pointer Programs
Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Semantics and loop invariant synthesis for probabilistic programs
A Deductive Verification Infrastructure for Probabilistic Programs
Counterexamples in probabilistic verification
Relatively complete verification of probabilistic programs : an expressive language for expectation-based reasoning
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)