- Alternative title
-
Gegenbeispiele in der probabilistischen Verifikation
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Aachen, Techn. Hochsch., Dissertation, 2015
- Classification
-
Mathematik
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2015
- Creator
- URN
-
urn:nbn:de:hbz:82-rwth-2015-033184
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:55 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.
Object type
- Hochschulschrift
Associated
- Jansen, Nils
- Ábrahám, Erika
- Becker, Bernd
- Katoen, Joost-Pieter
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2015
Other Objects (12)
Verification of pointer programs
New results on probabilistic verification : automata, logic and satisfiability
A Deductive Verification Infrastructure for Probabilistic Programs
Semantics and loop invariant synthesis for probabilistic programs
Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Formal methods for real time and probabilistic systems : proceedings
Quantitative and structural analysis of real-time and probabilistic systems
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
Relatively complete verification of probabilistic programs : an expressive language for expectation-based reasoning
The probabilistic model checker Storm : symbolic methods for probabilistic model checking
Foundations of probabilistic programming
Verification of pointer programs
New results on probabilistic verification : automata, logic and satisfiability
A Deductive Verification Infrastructure for Probabilistic Programs
Semantics and loop invariant synthesis for probabilistic programs
Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Formal methods for real time and probabilistic systems : proceedings
Quantitative and structural analysis of real-time and probabilistic systems
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
Relatively complete verification of probabilistic programs : an expressive language for expectation-based reasoning
The probabilistic model checker Storm : symbolic methods for probabilistic model checking
Foundations of probabilistic programming
Verification of pointer programs
New results on probabilistic verification : automata, logic and satisfiability
A Deductive Verification Infrastructure for Probabilistic Programs
Semantics and loop invariant synthesis for probabilistic programs
Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Formal methods for real time and probabilistic systems : proceedings
Quantitative and structural analysis of real-time and probabilistic systems
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
Relatively complete verification of probabilistic programs : an expressive language for expectation-based reasoning
The probabilistic model checker Storm : symbolic methods for probabilistic model checking