Buchumschlag

Functional Reduction to Speed Up Bounded Model Checking

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Yu, Changyuan, Che, Wenbin, Zhang, Hongce
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking
von: Zhou, Xiaofeng, et al.
Veröffentlicht: (2026)

FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping
von: Yang, Ziyi, et al.
Veröffentlicht: (2025)

Inverter Redistribution through Self-Dual and Self-Anti-Dual Function Transformation
von: Wang, Jingren, et al.
Veröffentlicht: (2026)

Integrating Loop Acceleration into Bounded Model Checking
von: Frohn, Florian, et al.
Veröffentlicht: (2024)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
von: Grilletti, Gianluca, et al.
Veröffentlicht: (2024)

Revisiting Assumptions Ordering in CAR-Based Model Checking
von: Dong, Yibo, et al.
Veröffentlicht: (2024)

Distributional Probabilistic Model Checking
von: Elsayed-Aly, Ingy, et al.
Veröffentlicht: (2023)

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
von: Chen, Chen, et al.
Veröffentlicht: (2025)

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
von: Melani, Beatrice, et al.
Veröffentlicht: (2025)

Probabilistic Model Checking: Applications and Trends
von: Kwiatkowska, Marta, et al.
Veröffentlicht: (2025)

Model Checking Markov Chains as Distribution Transformers
von: Aghamov, Rajab, et al.
Veröffentlicht: (2024)

Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies
von: Gurov, Dilian, et al.
Veröffentlicht: (2024)

Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
von: Tulcan, Radu-Florin, et al.
Veröffentlicht: (2026)

Infinite State Model Checking by Learning Transitive Relations
von: Frohn, Florian, et al.
Veröffentlicht: (2025)

Model Checking Linear Temporal Logic with Standpoint Modalities
von: Aghamov, Rajab, et al.
Veröffentlicht: (2025)

Policies Grow on Trees: Model Checking Families of MDPs
von: Andriushchenko, Roman, et al.
Veröffentlicht: (2024)

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
von: Gerlach, Lina, et al.
Veröffentlicht: (2025)

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

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
von: Watanabe, Kazuki, et al.
Veröffentlicht: (2024)

Neural Model Checking
von: Giacobbe, Mirco, et al.
Veröffentlicht: (2024)

Semantic Foundations of Reductive Reasoning
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)

Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security
von: Kammüller, Florian
Veröffentlicht: (2023)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
von: Budde, Carlos E., et al.
Veröffentlicht: (2024)

Model Checking Logical Actions in Magic Tricks
von: Zhu, Weijun
Veröffentlicht: (2024)

A Monoidal View on Fixpoint Checks
von: Baldan, Paolo, et al.
Veröffentlicht: (2023)

Property Checking Without Inductive Invariants
von: Goldberg, Eugene
Veröffentlicht: (2016)

Zero-Knowledge Model Checking
von: Berrang, Pascal, et al.
Veröffentlicht: (2026)

Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames
von: Hausmann, Daniel, et al.
Veröffentlicht: (2025)

Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
von: Stramaglia, Anna, et al.
Veröffentlicht: (2025)

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
von: Schirrmacher, Nicole, et al.
Veröffentlicht: (2023)

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
von: Xu, Ming, et al.
Veröffentlicht: (2022)

On proving consistency of equational theories in Bounded Arithmetic
von: Beckmann, Arnold, et al.
Veröffentlicht: (2022)

Multi-Objective Statistical Model Checking using Lightweight Strategy Sampling (extended version)
von: D'Argenio, Pedro R., et al.
Veröffentlicht: (2025)

ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST
von: Li, Xianzhiyu, et al.
Veröffentlicht: (2024)

Loop-Checking and Counter-Model Extraction for Intuitionistic Tense Logics via Nested Sequents
von: Lyon, Tim S.
Veröffentlicht: (2026)

Invariant Checking for SMT-based Systems with Quantifiers
von: Redondi, Gianluca, et al.
Veröffentlicht: (2024)

Model Checking the Security of the Lightning Network
von: Grundmann, Matthias, et al.
Veröffentlicht: (2025)

Probabilistic Model Checking Taken by Storm
von: Volk, Matthias, et al.
Veröffentlicht: (2026)

CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems (Technical Report)
von: Pettinau, Roberto, et al.
Veröffentlicht: (2026)

Checking Satisfiability of Hyperproperties using First-Order Logic
von: Beutner, Raven, et al.
Veröffentlicht: (2025)