Buchumschlag

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dardinier, Thibault, Müller, Peter
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
von: Beutner, Raven, et al.
Veröffentlicht: (2022)

Hyper Separation Logic (extended version)
von: Gospodinov, Trayan, et al.
Veröffentlicht: (2026)

Logics and Algorithms for Hyperproperties
von: Finkbeiner, Bernd
Veröffentlicht: (2025)

Unifying Asynchronous Logics for Hyperproperties
von: Bombardelli, Alberto, et al.
Veröffentlicht: (2024)

TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
von: Gonzalez, Bruno Maria René, et al.
Veröffentlicht: (2025)

A Generalized Hybrid Hoare Logic
von: Zhan, Naijun, et al.
Veröffentlicht: (2023)

Access Hoare Logic
von: Beckmann, Arnold, et al.
Veröffentlicht: (2025)

Checking Satisfiability of Hyperproperties using First-Order Logic
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

HyperQB: A Bounded Model Checker for Hyperproperties
von: Hsu, Tzu-Han, et al.
Veröffentlicht: (2021)

Relational Hoare Logic for Realistically Modelled Machine Code
von: Mazzucato, Denis, et al.
Veröffentlicht: (2025)

A Hoare Logic for Domain Specification (Full Version)
von: Kamburjan, Eduard, et al.
Veröffentlicht: (2024)

Logics for Context-free Hyperproperties
von: Winter, Sarah, et al.
Veröffentlicht: (2026)

Cyclic Proofs in Hoare Logic and its Reverse
von: Brotherston, James, et al.
Veröffentlicht: (2025)

Strategy Logic, Imperfect Information, and Hyperproperties
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

Explainability Requirements as Hyperproperties
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2025)

Tractable Hyperproperties for MDPs
von: Gerlach, Lina, et al.
Veröffentlicht: (2026)

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
von: Zimmerman, Conrad, et al.
Veröffentlicht: (2024)

On the Relative Completeness of Satisfaction-based Quantum Hoare Logic
von: Sun, Xin, et al.
Veröffentlicht: (2024)

Syntax-Guided Automated Program Repair for Hyperproperties
von: Beutner, Raven, et al.
Veröffentlicht: (2024)

Hyperproperty Verification as CHC Satisfiability
von: Itzhaky, Shachar, et al.
Veröffentlicht: (2023)

Temporal Hyperproperties for Population Protocols
von: Waldburger, Nicolas, et al.
Veröffentlicht: (2024)

Reasoning about Quality in Hyperproperties
von: Graepler, Samuel, et al.
Veröffentlicht: (2025)

A Program Logic for Abstract (Hyper)Properties
von: Baldan, Paolo, et al.
Veröffentlicht: (2026)

Complete Quantum Relational Hoare Logics from Optimal Transport Duality
von: Barthe, Gilles, et al.
Veröffentlicht: (2025)

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
von: Beutner, Raven, et al.
Veröffentlicht: (2023)

On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop
von: Sun, Xin, et al.
Veröffentlicht: (2024)

Automatic Function Annotations for Hoare Logic
von: Matichuk, Danielle
Veröffentlicht: (2012)

Visualizing Game-Based Certificates for Hyperproperty Verification
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

A quantitative probabilistic relational Hoare logic
von: Avanzini, Martin, et al.
Veröffentlicht: (2024)

A Practical Quantum Hoare Logic with Classical Variables, I
von: Ying, Mingsheng
Veröffentlicht: (2024)

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
von: Şakar, Ömer, et al.
Veröffentlicht: (2026)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
von: Powell, Thomas
Veröffentlicht: (2023)

Alignment complete relational Hoare logics for some and all
von: Nagasamudram, Ramana, et al.
Veröffentlicht: (2023)

On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

LPrL: An Asynchronous Linear Time Hyper Logic
von: Duggirala, Parasara Sridhar, et al.
Veröffentlicht: (2025)

An extended type system with lambda-typed lambda-expressions (extended version)
von: Weber, Matthias
Veröffentlicht: (2018)

Decentralized Planning Using Probabilistic Hyperproperties
von: Pontiggia, Francesco, et al.
Veröffentlicht: (2025)

Repairing General Game Descriptions (extended version)
von: He, Yifan, et al.
Veröffentlicht: (2025)

Centralized vs Decentralized Monitors for Hyperproperties
von: Aceto, Luca, et al.
Veröffentlicht: (2024)

Monitoring Second-Order Hyperproperties
von: Beutner, Raven, et al.
Veröffentlicht: (2024)