Copertina

ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Li, Xianzhiyu, Song, Kunjian, Gadelha, Mikhail R., Brauße, Franz, Menezes, Rafael S., Korovin, Konstantin, Cordeiro, Lucas C.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

Programs Versus Finite Tree-Programs
di: Moshkov, Mikhail
Pubblicazione: (2025)

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

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

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

A natural axiomatization of Büchi Arithmetic
di: Kovalyov, Konstantin
Pubblicazione: (2026)

Axiomatization of Büchi arithmetic
di: Kovalyov, Konstantin
Pubblicazione: (2024)

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

Logic of the Great, Logic of the Wise 2
di: Fedorchenko, Mikhail
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

Property Checking Without Inductive Invariants
di: Goldberg, Eugene
Pubblicazione: (2016)

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

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

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

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

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

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

Neural Model Checking
di: Giacobbe, Mirco, et al.
Pubblicazione: (2024)

Programs as Singularities
di: Murfet, Daniel, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
di: Tulcan, Radu-Florin, et al.
Pubblicazione: (2026)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
di: Watanabe, Kazuki, et al.
Pubblicazione: (2024)