Cover Image

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Schröer, Philipp, Haase, Darion, Katoen, Joost-Pieter
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Highly Incremental: A Simple Programmatic Approach for Many Objectives (Extended Version)
by: Schröer, Philipp, et al.
Published: (2026)

Caesar: A Deductive Verifier for Probabilistic Programs
by: Schröer, Philipp, et al.
Published: (2026)

Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
by: Haase, Darion, et al.
Published: (2026)

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

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

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

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
by: Yang, Xiaoxiao, et al.
Published: (2017)

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

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

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

Towards Concurrent Quantitative Separation Logic
by: Fesefeldt, Ira, et al.
Published: (2022)

Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
by: Jacobs, Bart
Published: (2026)

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

Products of Recursive Programs for Hypersafety Verification (Extended Version)
by: Cheng, Ruotong, et al.
Published: (2025)

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)
by: Tsukada, Takeshi, et al.
Published: (2025)

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

Dynamic Robustness Verification Against Weak Memory (Extended Version)
by: Margalit, Roy, et al.
Published: (2025)

A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs
by: Amtoft, Torben, et al.
Published: (2024)

Special Delivery: Programming with Mailbox Types (Extended Version)
by: Fowler, Simon, et al.
Published: (2023)

Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms (Extended Version)
by: Yan, Pengbo, et al.
Published: (2024)

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
by: Aguirre, Alejandro, et al.
Published: (2024)

Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors
by: Schwerter, Felipe Bañados, et al.
Published: (2025)

Local Optimization of Quantum Circuits (Extended Version)
by: Arora, Jatin, et al.
Published: (2025)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
by: Young, David, et al.
Published: (2024)

Validating Quantum State Preparation Programs (Extended Version)
by: Li, Liyi, et al.
Published: (2025)

Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications (Extended Version)
by: Barrière, Aurèle, et al.
Published: (2025)

Efficient Formal Verification of Quantum Error Correcting Programs
by: Huang, Qifan, et al.
Published: (2025)

Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
by: Fowler, Simon, et al.
Published: (2026)

Data Petri Nets meet Probabilistic Programming (Extended version)
by: Kuhn, Martin, et al.
Published: (2024)

The Algebra of Patterns (Extended Version)
by: Binder, David, et al.
Published: (2025)

Typing Strictness (Extended Version)
by: Sainati, Daniel, et al.
Published: (2025)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
by: Flanagan, Cormac, et al.
Published: (2024)

Extending Contract Verification for Parallel Programming Models to Fortran
by: Oraji, Yussur Mustafa, et al.
Published: (2026)

The Session Abstract Machine (Extended Version)
by: Caires, Luís, et al.
Published: (2024)

Handling Scope Checks (Extended Version)
by: Lee, Michael, et al.
Published: (2026)

Newtonian Program Analysis of Probabilistic Programs
by: Wang, Di, et al.
Published: (2023)

Generic Reduction-Based Interpreters (Extended Version)
by: Bach, Casper
Published: (2025)

Lenses for Partially-Specified States (Extended Version)
by: Matsuda, Kazutaka, et al.
Published: (2026)

Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus (Extended Version)
by: Schaefer, Steven, et al.
Published: (2025)

Contrasting Deadlock-Free Session Processes (Extended Version)
by: Jaramillo, Juan C., et al.
Published: (2025)