Buchumschlag

CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems (Technical Report)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Pettinau, Roberto, Matheja, Christoph
Format:	Preprint
Veröffentlicht:	2026
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

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

Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures
von: Demri, Stephane, et al.
Veröffentlicht: (2023)

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
von: Batz, Kevin, et al.
Veröffentlicht: (2024)

Towards benchmarking of Solidity verification tools
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2024)

CTL* Verification and Synthesis using Existential Horn Clauses
von: Carelli, Mishel, et al.
Veröffentlicht: (2024)

Synthesis of Infinite State Systems
von: Drucker, Ohad, et al.
Veröffentlicht: (2025)

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

Towards Probabilistic Strategic Timed CTL
von: Jamroga, Wojciech, et al.
Veröffentlicht: (2026)

Learning Branching-Time Properties in CTL and ATL via Constraint Solving
von: Bordais, Benjamin, et al.
Veröffentlicht: (2024)

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder
von: Fortin, Marie, et al.
Veröffentlicht: (2023)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
von: Pinsker, Michael, et al.
Veröffentlicht: (2025)

Technical Report: Exploring Automatic Model-Checking of the Ethereum specification
von: Konnov, Igor, et al.
Veröffentlicht: (2025)

Infinite trees
von: Goy, Alexandre
Veröffentlicht: (2025)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
von: Marin, Sonia, et al.
Veröffentlicht: (2025)

An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification
von: Elad, Neta, et al.
Veröffentlicht: (2023)

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
von: Bombardelli, Alberto, et al.
Veröffentlicht: (2023)

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

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

Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems
von: Heim, Philippe, et al.
Veröffentlicht: (2025)

Parameterized Infinite-State Reactive Synthesis
von: Maderbacher, Benedikt, et al.
Veröffentlicht: (2025)

HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report)
von: Jiang, Hongjian, et al.
Veröffentlicht: (2025)

The Transpension Type: Technical Report
von: Nuyts, Andreas
Veröffentlicht: (2020)

Explanations for Unrealizability of Infinite-State Safety Shields
von: Rodriguez, Andoni, et al.
Veröffentlicht: (2025)

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

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

Computing with Infinite Objects: the Gray Code Case
von: Spreen, Dieter, et al.
Veröffentlicht: (2021)

Technical Report: Time-Bounded Resilience
von: Kirigin, Tajana Ban, et al.
Veröffentlicht: (2024)

Deciding Boolean Separation Logic via Small Models (Technical Report)
von: Dacík, Tomáš, et al.
Veröffentlicht: (2024)

The Pebble-Relation Comonad in Finite Model Theory
von: Montacute, Yoàv, et al.
Veröffentlicht: (2021)

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

Modular Attractor Acceleration in Infinite-State Games (Full Version)
von: Heim, Philippe, et al.
Veröffentlicht: (2026)

Localized Attractor Computations for Infinite-State Games (Full Version)
von: Schmuck, Anne-Kathrin, et al.
Veröffentlicht: (2024)

Embedded Finite Models Beyond Restricted Quantifier Collapse
von: Benedikt, Michael, et al.
Veröffentlicht: (2023)

The Power of Regular Constraint Propagation (Technical Report)
von: Hague, Matthew, et al.
Veröffentlicht: (2025)

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

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

Complexity of Model Checking Second-Order Hyperproperties on Finite Structures
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2026)

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

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

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