:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Li, Xianzhiyu, Song, Kunjian, Gadelha, Mikhail R., Brauße, Franz, Menezes, Rafael S., Korovin, Konstantin, Cordeiro, Lucas C.
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	https://arxiv.org/abs/2406.17862
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

SMLP: Symbolic Machine Learning Prover (User Manual)
par: Brauße, Franz, et autres
Publié: (2024)

SMLP: Symbolic Machine Learning Prover
par: Brauße, Franz, et autres
Publié: (2024)

ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification
par: Dantas, Pierre, et autres
Publié: (2026)

ESBMC-Python: A Bounded Model Checker for Python Programs
par: Farias, Bruno, et autres
Publié: (2024)

Programs Versus Finite Tree-Programs
par: Moshkov, Mikhail
Publié: (2025)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
par: Baldan, Paolo, et autres
Publié: (2025)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
par: Grilletti, Gianluca, et autres
Publié: (2024)

Equivariant Borel liftings in complex analysis and PDE
par: Slutsky, Konstantin, et autres
Publié: (2025)

Symbolic Model Checking using Intervals of Vectors
par: Morard, Damien, et autres
Publié: (2026)

Modelling of logical systems by means of their fragments
par: Rybakov, Mikhail
Publié: (2025)

Logic of the Great, Logic of the Wise 2
par: Fedorchenko, Mikhail
Publié: (2026)

A natural axiomatization of Büchi Arithmetic
par: Kovalyov, Konstantin
Publié: (2026)

Axiomatization of Büchi arithmetic
par: Kovalyov, Konstantin
Publié: (2024)

Analogues of Shepherdson's Theorem for a language with exponentiation
par: Kovalyov, Konstantin
Publié: (2023)

Model Checking Temporal Properties of Recursive Probabilistic Programs
par: Winkler, Tobias, et autres
Publié: (2021)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
par: Livson, Ori, et autres
Publié: (2025)

Integer Linear-Exponential Programming in NP by Quantifier Elimination
par: Chistikov, Dmitry, et autres
Publié: (2024)

Distributional Probabilistic Model Checking
par: Elsayed-Aly, Ingy, et autres
Publié: (2023)

A Monoidal View on Fixpoint Checks
par: Baldan, Paolo, et autres
Publié: (2023)

Probabilistic Model Checking: Applications and Trends
par: Kwiatkowska, Marta, et autres
Publié: (2025)

Property Checking Without Inductive Invariants
par: Goldberg, Eugene
Publié: (2016)

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

Neural Model Checking
par: Giacobbe, Mirco, et autres
Publié: (2024)

Model-Checking PCTL Properties of Stateless Probabilistic Pushdown Systems
par: Lin, Deren, et autres
Publié: (2014)

Integrating Loop Acceleration into Bounded Model Checking
par: Frohn, Florian, et autres
Publié: (2024)

Model Checking Markov Chains as Distribution Transformers
par: Aghamov, Rajab, et autres
Publié: (2024)

Invariant Checking for SMT-based Systems with Quantifiers
par: Redondi, Gianluca, et autres
Publié: (2024)

Superintuitionistic predicate logics of linear frames: undecidability with two individual variables
par: Rybakov, Mikhail
Publié: (2025)

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

Programs as Singularities
par: Murfet, Daniel, et autres
Publié: (2025)

Neural Network Verification is a Programming Language Challenge
par: Cordeiro, Lucas C., et autres
Publié: (2025)

Checking Satisfiability of Hyperproperties using First-Order Logic
par: Beutner, Raven, et autres
Publié: (2025)

Revisiting Assumptions Ordering in CAR-Based Model Checking
par: Dong, Yibo, et autres
Publié: (2024)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
par: Stoltenow, Lara, et autres
Publié: (2024)

Policies Grow on Trees: Model Checking Families of MDPs
par: Andriushchenko, Roman, et autres
Publié: (2024)

Infinite State Model Checking by Learning Transitive Relations
par: Frohn, Florian, et autres
Publié: (2025)

Model Checking Linear Temporal Logic with Standpoint Modalities
par: Aghamov, Rajab, et autres
Publié: (2025)

Functional Reduction to Speed Up Bounded Model Checking
par: Yu, Changyuan, et autres
Publié: (2025)

Zero-Knowledge Model Checking
par: Berrang, Pascal, et autres
Publié: (2026)

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
par: Gerlach, Lina, et autres
Publié: (2025)