Cover Image

Property Checking Without Inductive Invariants

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Goldberg, Eugene
Format:	Preprint
Published:	2016
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On Efficient Algorithms For Partial Quantifier Elimination
by: Goldberg, Eugene
Published: (2024)

Structure-Aware Computing, Partial Quantifier Elimination And SAT
by: Goldberg, Eugene
Published: (2024)

Solving SAT By Computing A Stable Set Of Points In Clusters
by: Goldberg, Eugene
Published: (2025)

Partial Quantifier Elimination By Certificate Clauses
by: Goldberg, Eugene
Published: (2020)

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

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

Formalising Inductive and Coinductive Containers
by: Damato, Stefania, et al.
Published: (2024)

A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking
by: Zhou, Xiaofeng, et al.
Published: (2026)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
by: Almeida, Rodrigo Nicolau
Published: (2023)

Initial Algebras of Domains via Quotient Inductive-Inductive Types
by: van Collem, Simcha, et al.
Published: (2025)

POLIMON: Checking Temporal Properties over Out-of-order Streams at Runtime
by: Klaedtke, Felix
Published: (2024)

Impredicative Encodings of (Higher) Inductive Types
by: Awodey, Steve, et al.
Published: (2018)

Topological Semantics for Common Inductive Knowledge
by: Namachivayam, Siddharth
Published: (2026)

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

Rewriting and Inductive Reasoning
by: Hajdu, Márton, et al.
Published: (2024)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
by: Grilletti, Gianluca, et al.
Published: (2024)

Regular Model Checking Upside-Down: An Invariant-Based Approach
by: Esparza, Javier, et al.
Published: (2022)

Equational and Inductive Reasoning for Maude in Athena
by: Sanabria, Mateo, et al.
Published: (2026)

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
by: Zhou, Yuhao, et al.
Published: (2023)

Structured Abductive-Deductive-Inductive Reasoning for LLMs via Algebraic Invariants
by: Gilda, Sankalp, et al.
Published: (2026)

Distributional Probabilistic Model Checking
by: Elsayed-Aly, Ingy, et al.
Published: (2023)

The Size-Change Principle for Mixed Inductive and Coinductive types
by: Hyvernat, Pierre
Published: (2024)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
by: Su, Wanyun, et al.
Published: (2024)

An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
by: Sangiorgi, Davide
Published: (2024)

Master Thesis Impredicative Encodings of Inductive and Coinductive Types
by: Bronsveld, Steven, et al.
Published: (2025)

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

A Monoidal View on Fixpoint Checks
by: Baldan, Paolo, et al.
Published: (2023)

Probabilistic Model Checking: Applications and Trends
by: Kwiatkowska, Marta, et al.
Published: (2025)

Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
by: Ratschan, Stefan, et al.
Published: (2026)

Model-Checking PCTL Properties of Stateless Probabilistic Pushdown Systems
by: Lin, Deren, et al.
Published: (2014)

Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification
by: Meseguer, Jose
Published: (2024)

Semantics for a Turing-complete Reversible Programming Language with Inductive Types
by: Chardonnet, Kostia, et al.
Published: (2023)

Integrating Loop Acceleration into Bounded Model Checking
by: Frohn, Florian, et al.
Published: (2024)

Model Checking Markov Chains as Distribution Transformers
by: Aghamov, Rajab, et al.
Published: (2024)

Checking Satisfiability of Hyperproperties using First-Order Logic
by: Beutner, Raven, et al.
Published: (2025)

Revisiting Assumptions Ordering in CAR-Based Model Checking
by: Dong, Yibo, et al.
Published: (2024)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
by: Stoltenow, Lara, et al.
Published: (2024)

Policies Grow on Trees: Model Checking Families of MDPs
by: Andriushchenko, Roman, et al.
Published: (2024)

Infinite State Model Checking by Learning Transitive Relations
by: Frohn, Florian, et al.
Published: (2025)

Model Checking Linear Temporal Logic with Standpoint Modalities
by: Aghamov, Rajab, et al.
Published: (2025)