Copertina

Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Stramaglia, Anna, Keiren, Jeroen J. A., Laveaux, Maurice, Willemse, Tim A. C.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Benchmarks for Parity Games (extended version)
di: Keiren, Jeroen J. A.
Pubblicazione: (2014)

Progress, Justness and Fairness in Modal $μ$-Calculus Formulae
di: Spronck, Myrthe, et al.
Pubblicazione: (2024)

Structural Analysis of Boolean Equation Systems
di: Keiren, Jeroen, et al.
Pubblicazione: (2010)

Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
di: Keiren, Jeroen J. A., et al.
Pubblicazione: (2013)

Stuttering Equivalence for Parity Games
di: Cranen, Sjoerd, et al.
Pubblicazione: (2011)

Deadlock in packet switching networks
di: Stramaglia, Anna, et al.
Pubblicazione: (2021)

Fair Mutual Exclusion for N Processes (extended version)
di: Hafidi, Yousra, et al.
Pubblicazione: (2021)

Expressiveness Results for Timed Modal Mu-Calculi
di: Cleaveland, Rance, et al.
Pubblicazione: (2023)

Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames
di: Hausmann, Daniel, et al.
Pubblicazione: (2025)

Tutorial: Designing Distributed Software in mCRL2
di: Groote, Jan Friso, et al.
Pubblicazione: (2021)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
di: Budde, Carlos E., et al.
Pubblicazione: (2024)

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

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
di: Jansen, David N., et al.
Pubblicazione: (2019)

Halting Recurrent GNNs and the Graded $μ$-Calculus
di: Bollen, Jeroen, et al.
Pubblicazione: (2025)

DTMC Model Checking by Path Abstraction Revisited (extended version)
di: Hartmanns, Arnd, et al.
Pubblicazione: (2025)

Repairing General Game Descriptions (extended version)
di: He, Yifan, et al.
Pubblicazione: (2025)

Nested-sequent Calculus for Modal Logic MB
di: Kawano, Tomoaki
Pubblicazione: (2024)

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

Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality (extended version)
di: Budde, Carlos E., et al.
Pubblicazione: (2025)

Modelling the Raft Distributed Consensus Protocol in mCRL2
di: Bora, Parth, et al.
Pubblicazione: (2024)

Loop-Checking and Counter-Model Extraction for Intuitionistic Tense Logics via Nested Sequents
di: Lyon, Tim S.
Pubblicazione: (2026)

An extended type system with lambda-typed lambda-expressions (extended version)
di: Weber, Matthias
Pubblicazione: (2018)

Decidability of Quasi-Dense Modal Logics
di: Ostropolski-Nalewaja, Piotr, et al.
Pubblicazione: (2024)

Demystifying $μ$
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

Simulating dynamic systems using Linear Time Calculus theories
di: Bogaerts, Bart, et al.
Pubblicazione: (2014)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
di: Lyon, Tim S., et al.
Pubblicazione: (2026)

Complete and Terminating Tableau Calculus for Undirected Graph
di: Nishimura, Yuki, et al.
Pubblicazione: (2024)

Probabilistic Verification for Modular Network-on-Chip Systems (extended version)
di: Waddoups, Nick, et al.
Pubblicazione: (2025)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
di: Heuvel, Bas van den
Pubblicazione: (2024)

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

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

Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality
di: McPheat, Lachlan, et al.
Pubblicazione: (2020)

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)
di: Dardinier, Thibault, et al.
Pubblicazione: (2023)

An adequacy theorem between mixed powerdomains and probabilistic concurrency (extended version)
di: Neves, Renato
Pubblicazione: (2024)

The Flower Calculus
di: Donato, Pablo
Pubblicazione: (2024)

Efficient Evaluation of Arbitrary Relational Calculus Queries
di: Raszyk, Martin, et al.
Pubblicazione: (2022)

Probabilistic Model Checking Taken by Storm
di: Volk, Matthias, et al.
Pubblicazione: (2026)

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
di: Şakar, Ömer, et al.
Pubblicazione: (2026)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2025)

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