A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2023
- Urheber
- DOI
-
10.18154/RWTH-2023-10748
- URN
-
urn:nbn:de:101:1-2023112200382662296499
- 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.
Beteiligte
- Schroer, Philipp
- Batz, Kevin
- Kaminski, Benjamin Lucien
- Katoen, Joost-Pieter
- Matheja, Christoph
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2023
Ähnliche Objekte (12)
A Deductive Verification Infrastructure for Probabilistic Programs
Counterexamples in probabilistic verification
New results on probabilistic verification : automata, logic and satisfiability
Verification of pointer programs
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Formal methods for real time and probabilistic systems : proceedings
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
Concepts, algorithms, and tools for model checking
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Reduction Techniques for Nondeterministic and Probabilistic Systems
A Deductive Verification Infrastructure for Probabilistic Programs
Counterexamples in probabilistic verification
New results on probabilistic verification : automata, logic and satisfiability
Verification of pointer programs
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Formal methods for real time and probabilistic systems : proceedings
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
Concepts, algorithms, and tools for model checking
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Reduction Techniques for Nondeterministic and Probabilistic Systems
A Deductive Verification Infrastructure for Probabilistic Programs
Counterexamples in probabilistic verification
New results on probabilistic verification : automata, logic and satisfiability
Verification of pointer programs
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Formal methods for real time and probabilistic systems : proceedings
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
Concepts, algorithms, and tools for model checking
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants