:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Li, Xianzhiyu, Song, Kunjian, Gadelha, Mikhail R., Brauße, Franz, Menezes, Rafael S., Korovin, Konstantin, Cordeiro, Lucas C.
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2406.17862
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SMLP: Symbolic Machine Learning Prover (User Manual)
by: Brauße, Franz, et al.
Published: (2024)

SMLP: Symbolic Machine Learning Prover
by: Brauße, Franz, et al.
Published: (2024)

ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification
by: Dantas, Pierre, et al.
Published: (2026)

ESBMC-Python: A Bounded Model Checker for Python Programs
by: Farias, Bruno, et al.
Published: (2024)

Programs Versus Finite Tree-Programs
by: Moshkov, Mikhail
Published: (2025)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
by: Baldan, Paolo, et al.
Published: (2025)

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

Equivariant Borel liftings in complex analysis and PDE
by: Slutsky, Konstantin, et al.
Published: (2025)

Symbolic Model Checking using Intervals of Vectors
by: Morard, Damien, et al.
Published: (2026)

Modelling of logical systems by means of their fragments
by: Rybakov, Mikhail
Published: (2025)

Logic of the Great, Logic of the Wise 2
by: Fedorchenko, Mikhail
Published: (2026)

A natural axiomatization of Büchi Arithmetic
by: Kovalyov, Konstantin
Published: (2026)

Axiomatization of Büchi arithmetic
by: Kovalyov, Konstantin
Published: (2024)

Analogues of Shepherdson's Theorem for a language with exponentiation
by: Kovalyov, Konstantin
Published: (2023)

Model Checking Temporal Properties of Recursive Probabilistic Programs
by: Winkler, Tobias, et al.
Published: (2021)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
by: Livson, Ori, et al.
Published: (2025)

Integer Linear-Exponential Programming in NP by Quantifier Elimination
by: Chistikov, Dmitry, et al.
Published: (2024)

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

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)

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

When are two algorithms the same? Towards addressing Hilbert's 24th problem
by: Doubrovinski, Konstantin
Published: (2025)

Neural Model Checking
by: Giacobbe, Mirco, et al.
Published: (2024)

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

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)

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

Superintuitionistic predicate logics of linear frames: undecidability with two individual variables
by: Rybakov, Mikhail
Published: (2025)

Recursive inseparability of classical theories of a binary predicate and non-classical logics of a unary predicate
by: Rybakov, Mikhail
Published: (2025)

Programs as Singularities
by: Murfet, Daniel, et al.
Published: (2025)

Neural Network Verification is a Programming Language Challenge
by: Cordeiro, Lucas C., et al.
Published: (2025)

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)

Functional Reduction to Speed Up Bounded Model Checking
by: Yu, Changyuan, et al.
Published: (2025)

Zero-Knowledge Model Checking
by: Berrang, Pascal, et al.
Published: (2026)

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
by: Gerlach, Lina, et al.
Published: (2025)