Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: 10.1007/978-3-031-30820-8_25
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2023
- Creator
-
Batz, Kevin
Chen, Mingshuai
Junges, Sebastian
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Matheja, Christoph
- DOI
-
10.18154/RWTH-2023-05031
- URN
-
urn:nbn:de:101:1-2023110900344099400014
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:53 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
- Batz, Kevin
- Chen, Mingshuai
- Junges, Sebastian
- Kaminski, Benjamin Lucien
- Katoen, Joost-Pieter
- Matheja, Christoph
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2023
Other Objects (12)
PAYNT : A Tool for Inductive Synthesis of Probabilistic Programs
Counterexamples in probabilistic verification
New results on probabilistic verification : automata, logic and satisfiability
Verification of graph transformation systems with k-inductive invariants
Verification of pointer programs
A Deductive Verification Infrastructure for Probabilistic Programs
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Formal methods for real time and probabilistic systems : proceedings
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
PAYNT : A Tool for Inductive Synthesis of Probabilistic Programs
Counterexamples in probabilistic verification
New results on probabilistic verification : automata, logic and satisfiability
Verification of graph transformation systems with k-inductive invariants
Verification of pointer programs
A Deductive Verification Infrastructure for Probabilistic Programs
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Formal methods for real time and probabilistic systems : proceedings
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
PAYNT : A Tool for Inductive Synthesis of Probabilistic Programs
Counterexamples in probabilistic verification
New results on probabilistic verification : automata, logic and satisfiability
Verification of graph transformation systems with k-inductive invariants
Verification of pointer programs
A Deductive Verification Infrastructure for Probabilistic Programs
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Formal methods for real time and probabilistic systems : proceedings
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