Imagen de Portada

A Hoare Logic for Domain Specification (Full Version)

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Kamburjan, Eduard, Gurov, Dilian
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

An Expressive Trace Logic for Recursive Programs
por: Gurov, Dilian, et al.
Publicado: (2024)

Towards a Proof System for Probabilistic Dynamic Logic
por: Johnsen, Einar Broch, et al.
Publicado: (2024)

A Generalized Hybrid Hoare Logic
por: Zhan, Naijun, et al.
Publicado: (2023)

A Program Instrumentation Framework for Automatic Verification
por: Amilon, Jesper, et al.
Publicado: (2024)

Access Hoare Logic
por: Beckmann, Arnold, et al.
Publicado: (2025)

Relational Hoare Logic for Realistically Modelled Machine Code
por: Mazzucato, Denis, et al.
Publicado: (2025)

AutoDeduct: A Tool for Automated Deductive Verification of C Code
por: Amilon, Jesper, et al.
Publicado: (2025)

Cyclic Proofs in Hoare Logic and its Reverse
por: Brotherston, James, et al.
Publicado: (2025)

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)
por: Dardinier, Thibault, et al.
Publicado: (2023)

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

On the Relative Completeness of Satisfaction-based Quantum Hoare Logic
por: Sun, Xin, et al.
Publicado: (2024)

Confluence Criteria for Logically Constrained Rewrite Systems (Full Version)
por: Schöpf, Jonas, et al.
Publicado: (2023)

Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies
por: Gurov, Dilian, et al.
Publicado: (2024)

Unattainability of Common Knowledge in Asymmetric Games with Imperfect Information
por: Farestam, Fabian, et al.
Publicado: (2025)

Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version)
por: Aoto, Takahito, et al.
Publicado: (2024)

Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations (Full Version)
por: Takahata, Kanta, et al.
Publicado: (2025)

Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version)
por: Aoto, Takahito, et al.
Publicado: (2026)

Complete Quantum Relational Hoare Logics from Optimal Transport Duality
por: Barthe, Gilles, et al.
Publicado: (2025)

A quantitative probabilistic relational Hoare logic
por: Avanzini, Martin, et al.
Publicado: (2024)

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version)
por: Heim, Philippe, et al.
Publicado: (2024)

Difference of Constrained Patterns in Logically Constrained Term Rewrite Systems (Full Version)
por: Nishida, Naoki, et al.
Publicado: (2025)

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

Automatic Function Annotations for Hoare Logic
por: Matichuk, Danielle
Publicado: (2012)

A Practical Quantum Hoare Logic with Classical Variables, I
por: Ying, Mingsheng
Publicado: (2024)

Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version)
por: Takahata, Kanta, et al.
Publicado: (2025)

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

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)
por: Baader, Franz, et al.
Publicado: (2025)

Alignment complete relational Hoare logics for some and all
por: Nagasamudram, Ramana, et al.
Publicado: (2023)

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
por: Wang, Shanxia
Publicado: (2026)

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

Proof Nets for PiL (Full Version)
por: Acclavio, Matteo, et al.
Publicado: (2026)

Weakening Goals in Logical Specifications
por: Andrew, Ben M.
Publicado: (2025)

Unification of Deterministic Higher-Order Patterns (Full Version)
por: Niederhauser, Johannes, et al.
Publicado: (2026)

Sharing and Linear Logic with Restricted Access (Extended Version)
por: Barenbaum, Pablo, et al.
Publicado: (2025)

Localized Attractor Computations for Infinite-State Games (Full Version)
por: Schmuck, Anne-Kathrin, et al.
Publicado: (2024)

Modular Attractor Acceleration in Infinite-State Games (Full Version)
por: Heim, Philippe, et al.
Publicado: (2026)

Semantically Reflected Programs
por: Kamburjan, Eduard, et al.
Publicado: (2025)

A foundational characterization of Hoare Logic
por: Leivant, Daniel
Publicado: (2026)

Partially Finite Model Reasoning in Description Logics Extended Version
por: Gogacz, Tomasz, et al.
Publicado: (2026)

Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)
por: Barenbaum, Pablo
Publicado: (2026)