Copertina

Towards Concurrent Quantitative Separation Logic

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Fesefeldt, Ira, Katoen, Joost-Pieter, Noll, Thomas
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Logic in Computer Science Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Quantifier Elimination and Craig Interpolation, Quantitatively
di: Batz, Kevin, et al.
Pubblicazione: (2025)

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
di: Batz, Kevin, et al.
Pubblicazione: (2025)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
di: Klinkenberg, Lutz, et al.
Pubblicazione: (2023)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
di: Le, Quang Loc
Pubblicazione: (2025)

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
di: Timany, Amin, et al.
Pubblicazione: (2021)

Unknown Biases and Timing Constraints in Timed Automata
di: Haase, Darion, et al.
Pubblicazione: (2024)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
di: Zilberstein, Noam, et al.
Pubblicazione: (2024)

Model Checking Temporal Properties of Recursive Probabilistic Programs
di: Winkler, Tobias, et al.
Pubblicazione: (2021)

Recursive Mutexes in Separation Logic
di: Du, Ke, et al.
Pubblicazione: (2026)

A Nominal Approach to Probabilistic Separation Logic
di: Li, John M., et al.
Pubblicazione: (2024)

Reasoning about Weak Isolation Levels in Separation Logic
di: Mathiasen, Anders Alnor, et al.
Pubblicazione: (2025)

Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions
di: Elad, Neta, et al.
Pubblicazione: (2025)

Tachis: Higher-Order Separation Logic with Credits for Expected Costs
di: Haselwarter, Philipp G., et al.
Pubblicazione: (2024)

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
di: Zilberstein, Noam, et al.
Pubblicazione: (2023)

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
di: Casetta, Richard, et al.
Pubblicazione: (2026)

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
di: Grandury, Marcos, et al.
Pubblicazione: (2025)

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
di: Haselwarter, Philipp G., et al.
Pubblicazione: (2026)

Unrealizability Logic
di: Kim, Jinwoo, et al.
Pubblicazione: (2022)

Compositional Reasoning for Probabilistic Automata with Uncertainty
di: Mertens, Hannah, et al.
Pubblicazione: (2026)

On the Expressivity of Typed Concurrent Calculi
di: Paulus, Joseph William Neal
Pubblicazione: (2024)

Denotational Semantics for Probabilistic and Concurrent Programs
di: Zilberstein, Noam, et al.
Pubblicazione: (2025)

A Lazy, Concurrent Convertibility Checker
di: Courant, Nathanaëlle, et al.
Pubblicazione: (2025)

SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits
di: Yu, Nengkun, et al.
Pubblicazione: (2025)

Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
di: Heck, Linus, et al.
Pubblicazione: (2025)

Typed Non-determinism in Concurrent Calculi: The Eager Way
di: Heuvel, Bas van den, et al.
Pubblicazione: (2024)

Compositional Reasoning for Parametric Probabilistic Automata
di: Mertens, Hannah, et al.
Pubblicazione: (2025)

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
di: Zimmerman, Conrad, et al.
Pubblicazione: (2024)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
di: Derakhshan, Farzaneh, et al.
Pubblicazione: (2024)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)

Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
di: Sulzmann, Martin
Pubblicazione: (2026)

Bayesian Inference in Quantum Programs
di: Gehnen, Christina, et al.
Pubblicazione: (2025)

Partial Incorrectness Logic
di: Verscht, Lena, et al.
Pubblicazione: (2025)

Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects
di: Zilberstein, Noam
Pubblicazione: (2024)

A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests
di: Verscht, Lena, et al.
Pubblicazione: (2024)

Logic Programming with Extensible Types
di: Perez, Ivan, et al.
Pubblicazione: (2026)

Finite-Choice Logic Programming
di: Martens, Chris, et al.
Pubblicazione: (2024)

Ordered Adjoint Logic (Extended Version)
di: Roshal, Sophia, et al.
Pubblicazione: (2026)

Structural Temporal Logic for Mechanized Program Verification
di: Ioannidis, Eleftherios, et al.
Pubblicazione: (2024)

A Program Logic for Abstract (Hyper)Properties
di: Baldan, Paolo, et al.
Pubblicazione: (2026)