Buchumschlag

Deciding Boolean Separation Logic via Small Models (Technical Report)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dacík, Tomáš, Rogalewicz, Adam, Vojnar, Tomáš, Zuleger, Florian
Format:	Preprint
Veröffentlicht:	2024
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

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Version)
von: Sextl, Florian, et al.
Veröffentlicht: (2023)

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
von: Brablec, Tomáš, et al.
Veröffentlicht: (2026)

Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations
von: Bueri, Lucas, et al.
Veröffentlicht: (2024)

The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations
von: Bozga, Marius, et al.
Veröffentlicht: (2023)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
von: Su, Wanyun, et al.
Veröffentlicht: (2024)

Decidability of Quantum Modal Logic
von: Tokuo, Kenji
Veröffentlicht: (2026)

Dynamic Probability Logic: Decidability & Computability
von: Chopoghloo, Somayeh, et al.
Veröffentlicht: (2024)

Decidability of Quasi-Dense Modal Logics
von: Ostropolski-Nalewaja, Piotr, et al.
Veröffentlicht: (2024)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
von: Marin, Sonia, et al.
Veröffentlicht: (2025)

Decidability of Graph Neural Networks via Logical Characterizations
von: Benedikt, Michael, et al.
Veröffentlicht: (2024)

To Zip Through the Cost Analysis of Probabilistic Programs
von: Hetzenberger, Matthias, et al.
Veröffentlicht: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems
von: Aminof, Benjamin, et al.
Veröffentlicht: (2023)

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
von: Elad, Neta, et al.
Veröffentlicht: (2026)

RacerF: Lightweight Static Data Race Detection for C Code
von: Dacík, Tomáš, et al.
Veröffentlicht: (2025)

RacerF: Data Race Detection with Frama-C (Competition Contribution)
von: Dacík, Tomáš, et al.
Veröffentlicht: (2025)

Generalized Decidability via Brouwer Trees
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

Negated String Containment is Decidable (Technical Report)
von: Havlena, Vojtěch, et al.
Veröffentlicht: (2025)

Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization
von: Li, Yongming
Veröffentlicht: (2025)

Deciding Predicate Logical Theories of Real-Valued Functions
von: Ratschan, Stefan
Veröffentlicht: (2023)

Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics
von: Gamsakhurdia, Mariami, et al.
Veröffentlicht: (2025)

On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
von: Vašíček, Ondřej, et al.
Veröffentlicht: (2026)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
von: Barloy, Corentin, et al.
Veröffentlicht: (2025)

Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
von: Kurucz, Agi, et al.
Veröffentlicht: (2023)

Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
von: Iosif, Radu, et al.
Veröffentlicht: (2023)

On Deciding Constant Runtime of Linear Loops
von: Frohn, Florian, et al.
Veröffentlicht: (2026)

Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report)
von: Peters, Kirstin, et al.
Veröffentlicht: (2024)

On the Decidability of Presburger Arithmetic Expanded with Powers
von: Karimov, Toghrul, et al.
Veröffentlicht: (2024)

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property
von: Joshi, Varad, et al.
Veröffentlicht: (2025)

Static Analysis of Logic Programs via Boolean Networks
von: Trinh, Van-Giang, et al.
Veröffentlicht: (2024)

Decidability for Sturmian words
von: Hieronymi, Philipp, et al.
Veröffentlicht: (2021)

Deciding Equations in the Time Warp Algebra
von: van Gool, Sam, et al.
Veröffentlicht: (2023)

Logics with probabilistic team semantics and the Boolean negation
von: Hannula, Miika, et al.
Veröffentlicht: (2023)

Dynamic Separation Logic
von: de Boer, Frank S., et al.
Veröffentlicht: (2023)

The Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable
von: Pratt-Hartmann, Ian
Veröffentlicht: (2017)

Systematic Design of Separation Logics
von: Bruni, Roberto, et al.
Veröffentlicht: (2026)

Tree-Verifiable Graph Grammars
von: Chimes, Mark, et al.
Veröffentlicht: (2024)

Rings and Boolean Algebras as Algebraic Theories
von: De Faveri, Arturo
Veröffentlicht: (2025)

Boolean Matrix Logic Programming on the GPU
von: Ai, Lun
Veröffentlicht: (2024)

Bifurcation Logic: Separation Through Ordering
von: Galmiche, Didier, et al.
Veröffentlicht: (2025)