Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: 10.1145/3290347
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2019
- Creator
- DOI
-
10.18154/RWTH-2019-00833
- URN
-
urn:nbn:de:101:1-2019091905570554555470
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:48 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
- Kaminski, Benjamin Lucien
- Katoen, Joost-Pieter
- Matheja, Christoph
- Noll, Thomas
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2019
Other Objects (12)
Automated reasoning and randomization in separation logic
New results on probabilistic verification : automata, logic and satisfiability
Relatively complete verification of probabilistic programs : an expressive language for expectation-based reasoning
Towards Concurrent Quantitative Separation Logic
Towards Concurrent Quantitative Separation Logic
Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic
Advanced weakest precondition calculi for probabilistic programs
Invariant-based strategy synthesis for nondeterministic probabilistic programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Semantics and loop invariant synthesis for probabilistic programs
Boolean-logic driven Markov processes : Explained. Analysed. Verified.
Automated reasoning and randomization in separation logic
New results on probabilistic verification : automata, logic and satisfiability
Relatively complete verification of probabilistic programs : an expressive language for expectation-based reasoning
Towards Concurrent Quantitative Separation Logic
Towards Concurrent Quantitative Separation Logic
Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic
Advanced weakest precondition calculi for probabilistic programs
Invariant-based strategy synthesis for nondeterministic probabilistic programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Semantics and loop invariant synthesis for probabilistic programs
Boolean-logic driven Markov processes : Explained. Analysed. Verified.
Automated reasoning and randomization in separation logic
New results on probabilistic verification : automata, logic and satisfiability
Relatively complete verification of probabilistic programs : an expressive language for expectation-based reasoning
Towards Concurrent Quantitative Separation Logic
Towards Concurrent Quantitative Separation Logic
Static Analysis of Pointer Programs - Linking Graph Grammars and Separation Logic
Advanced weakest precondition calculi for probabilistic programs
Invariant-based strategy synthesis for nondeterministic probabilistic programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Model Checking Temporal Properties of Recursive Probabilistic Programs
Semantics and loop invariant synthesis for probabilistic programs