Cover Image

Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Aminof, Benjamin, Rubin, Sasha, Spegni, Francesco, Zuleger, Florian
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
by: Aminof, Benjamin, et al.
Published: (2024)

To Zip Through the Cost Analysis of Probabilistic Programs
by: Hetzenberger, Matthias, et al.
Published: (2025)

Deciding Boolean Separation Logic via Small Models (Technical Report)
by: Dacík, Tomáš, et al.
Published: (2024)

Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
by: Iosif, Radu, et al.
Published: (2023)

Symmetric Proofs of Parameterized Programs
by: Cheng, Ruotong, et al.
Published: (2026)

Effective MSO-Definability for Tree-width Bounded Models of an Inductive Separation Logic of Relations
by: Bueri, Lucas, et al.
Published: (2024)

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
by: Guillou, Lucie, et al.
Published: (2023)

Tree-Verifiable Graph Grammars
by: Chimes, Mark, et al.
Published: (2024)

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
by: Leutgeb, Lorenz, et al.
Published: (2022)

The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations
by: Bozga, Marius, et al.
Published: (2023)

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Version)
by: Sextl, Florian, et al.
Published: (2023)

Model-checking positive equality free logic on a fixed structure (direttissima)
by: Bodirsky, Manuel, et al.
Published: (2024)

Wait-Only Broadcast Protocols are Easier to Verify
by: Guillou, Lucie, et al.
Published: (2025)

Phase-Bounded Broadcast Networks over Topologies of Communication
by: Guillou, Lucie, et al.
Published: (2024)

On first-order model checking parameterized by the number of variables
by: Jedelský, Jan
Published: (2026)

Formal Verification of Parameterized Systems based on Induction
by: Xiu, Jiaqi, et al.
Published: (2025)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
by: Lichter, Moritz
Published: (2022)

Formula size game and model checking for modal substitution calculus
by: Ahvonen, Veeti, et al.
Published: (2025)

Model checking with temporal graphs and their derivative
by: Bui-Xuan, Binh-Minh, et al.
Published: (2026)

Parameterized Infinite-State Reactive Synthesis
by: Maderbacher, Benedikt, et al.
Published: (2025)

Symmetric Proofs in the Ideal Proof System
by: Dawar, Anuj, et al.
Published: (2025)

noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
by: Gürtler, Tobias, et al.
Published: (2026)

Parameterized complexity of n-dense modal logics
by: Gasquet, Olivier
Published: (2026)

Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
by: Cimatti, Alessandro, et al.
Published: (2024)

Symmetric Linear Arc Monadic Datalog and Gadget Reductions
by: Bodirsky, Manuel, et al.
Published: (2024)

The Parameterized Complexity of Learning Monadic Second-Order Logic
by: van Bergerem, Steffen, et al.
Published: (2023)

Elementary first-order model checking for sparse graphs
by: Gajarský, Jakub, et al.
Published: (2024)

On A Parameterized Theory of Dynamic Logic for Operationally-based Programs
by: Zhang, Yuanrui
Published: (2026)

Antichains for Concurrent Parameterized Games
by: Bertrand, Nathalie, et al.
Published: (2025)

Uniformity within Parameterized Circuit Classes
by: Hegeman, Steef, et al.
Published: (2025)

Higher Order Model Checking in Isabelle for Human Centric Infrastructure Security
by: Kammüller, Florian
Published: (2023)

A Session Type System for Asynchronous Unreliable Broadcast Communication
by: Kouzapas, Dimitrios, et al.
Published: (2019)

Reusable Formal Verification of DAG-based Consensus Protocols
by: Bertrand, Nathalie, et al.
Published: (2024)

A Strongly Normalising System of Dependent Types for Transparent and Opaque Probabilistic Computation
by: Genco, Francesco A.
Published: (2024)

A shallow dive into the depths of non-termination checking for C programs
by: Metta, Ravindra, et al.
Published: (2024)

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

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

Most General Explanations of Tree Ensembles (Extended Version)
by: Izza, Yacine, et al.
Published: (2025)

Enriched Categories for Parameterized Circuit Semantics
by: Wesley, Scott
Published: (2025)

Deciding Equations in the Time Warp Algebra
by: van Gool, Sam, et al.
Published: (2023)