Cover Image

Affine Disjunctive Invariant Generation with Farkas' Lemma

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ke, Jingyu, Fu, Hongfei, Liu, Hongming, Sun, Zhouyue, Chen, Liqian, Li, Guoqiang
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Array-Carrying Symbolic Execution for Function Contract Generation
by: Lu, Weijie, et al.
Published: (2026)

Causal Unfoldings and Disjunctive Causes
by: de Visme, Marc, et al.
Published: (2020)

Finite Axiomatizability by Disjunctive Existential Rules
by: Calautti, Marco, et al.
Published: (2025)

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
by: Liu, Xinyu, et al.
Published: (2026)

Disjunctions of Two Dependence Atoms
by: Fröhlich, Nicolas, et al.
Published: (2025)

The Disjunction-Free Fragment of D2 is Three-Valued
by: Omori, Hitoshi
Published: (2024)

Lemmas: Generation, Selection, Application
by: Rawson, Michael, et al.
Published: (2023)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
by: Atserias, Albert, et al.
Published: (2024)

Well-Founded Coalgebras Meet König's Lemma
by: Urbat, Henning, et al.
Published: (2025)

A Principled Solution to the Disjunction Problem of Diagrammatic Query Representations
by: Gatterbauer, Wolfgang
Published: (2024)

A Beluga Formalization of the Harmony Lemma in the $π$-Calculus
by: Cecilia, Gabriele, et al.
Published: (2024)

Counting Answer Sets of Disjunctive Answer Set Programs
by: Kabir, Mohimenul, et al.
Published: (2025)

Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?
by: Peled, Romy, et al.
Published: (2025)

Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL
by: Hulak, David B., et al.
Published: (2026)

Equational Bit-Vector Solving via Strong Gröbner Bases
by: Song, Jiaxin, et al.
Published: (2024)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
by: Alhessi, Yousef, et al.
Published: (2025)

Three-Dimensional Affine Spatial Logics
by: Trybus, Adam
Published: (2026)

Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT
by: Civini, Emanuele, et al.
Published: (2026)

Decidability and Complexity of Decision Problems for Affine Continuous VASS
by: Balasubramanian, A. R.
Published: (2024)

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
by: Hecher, Markus, et al.
Published: (2024)

A Cegar-centric Bounded Reachability Analysis for Compositional Affine Hybrid Systems
by: Kundu, Atanu, et al.
Published: (2025)

Property Checking Without Inductive Invariants
by: Goldberg, Eugene
Published: (2016)

Invariant Checking for SMT-based Systems with Quantifiers
by: Redondi, Gianluca, et al.
Published: (2024)

Some General Completeness Results for Propositionally Quantified Modal Logics
by: Ding, Yifeng, et al.
Published: (2024)

Defining implication relation for classical logic
by: Fu, Li
Published: (2013)

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
by: Ma, Liqian, et al.
Published: (2025)

Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
by: Tao, Yichen, et al.
Published: (2026)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning
by: Dardik, Ian, et al.
Published: (2025)

When Symmetry Yields NP-Hardness: Affine ML-SAT on S5 Frames
by: Krebs, Andreas, et al.
Published: (2025)

Reasoning under uncertainty in the game of Cops and Robbers
by: Li, Dazhu, et al.
Published: (2025)

CIll: CTI-Guided Invariant Generation via LLMs for Model Checking
by: Su, Yuheng, et al.
Published: (2026)

Generalized Decidability via Brouwer Trees
by: de Jong, Tom, et al.
Published: (2026)

A modal approach towards substitutions
by: Tu, Yaxin, et al.
Published: (2025)

A General (Uniform) Relational Semantics for Sentential Logics
by: Hartonas, Chrysafis
Published: (2025)

Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
by: Wałęga, Przemysław Andrzej, et al.
Published: (2026)

Linear Loop Synthesis for Quadratic Invariants
by: Hitarth, S., et al.
Published: (2023)

On Piecewise Affine Reachability with Bellman Operators
by: Varonka, Anton, et al.
Published: (2025)

Verifying Sampling Algorithms via Distributional Invariants
by: Zilken, Daniel, et al.
Published: (2025)

Local-Order-Invariant Logic on Classes of Bounded Degree
by: Aoki, Derek
Published: (2025)