Buchumschlag

Verification of Configurable SRA Systems

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cimatti, Alessandro, Griggio, Alberto, Lidström, Christian, Redondi, Gianluca, Trenti, Dylan
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

Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
von: Cimatti, Alessandro, et al.
Veröffentlicht: (2024)

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

A Program Instrumentation Framework for Automatic Verification
von: Amilon, Jesper, et al.
Veröffentlicht: (2024)

AutoDeduct: A Tool for Automated Deductive Verification of C Code
von: Amilon, Jesper, et al.
Veröffentlicht: (2025)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
von: Farjami, Ali, et al.
Veröffentlicht: (2026)

Cyclic Implicit Complexity
von: Curzi, Gianluca, et al.
Veröffentlicht: (2021)

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

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake
von: Coglio, Alessandro, et al.
Veröffentlicht: (2025)

Runtime Verification for LTL in Stochastic Systems
von: Esparza, Javier, et al.
Veröffentlicht: (2025)

A first-order logic characterization of safety and co-safety languages
von: Cimatti, Alessandro, et al.
Veröffentlicht: (2022)

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
von: Kanovich, Max, et al.
Veröffentlicht: (2016)

Probabilistic Verification for Modular Network-on-Chip Systems (extended version)
von: Waddoups, Nick, et al.
Veröffentlicht: (2025)

Stochastic Omega-Regular Verification and Control with Supermartingales
von: Abate, Alessandro, et al.
Veröffentlicht: (2024)

Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers
von: Karimov, Toghrul
Veröffentlicht: (2024)

Formal Verification of Parameterized Systems based on Induction
von: Xiu, Jiaqi, et al.
Veröffentlicht: (2025)

Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements
von: Dewes, Rafael, et al.
Veröffentlicht: (2024)

Neural Proofs for Sound Verification and Control of Complex Systems
von: Abate, Alessandro
Veröffentlicht: (2025)

Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
von: Munive, Jonathan Julián Huerta y, et al.
Veröffentlicht: (2024)

Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System
von: Kura, Satoshi, et al.
Veröffentlicht: (2024)

Craig Interpolation in Program Verification
von: Rümmer, Philipp
Veröffentlicht: (2026)

Verification of Robust Multi-Agent Systems
von: Berthon, Raphaël, et al.
Veröffentlicht: (2026)

Hyperproperty Verification as CHC Satisfiability
von: Itzhaky, Shachar, et al.
Veröffentlicht: (2023)

Tools at the Frontiers of Quantitative Verification
von: Andriushchenko, Roman, et al.
Veröffentlicht: (2024)

Computational expressivity of (circular) proofs with fixed points
von: Curzi, Gianluca, et al.
Veröffentlicht: (2023)

Cyclic proof theory of positive inductive definitions
von: Curzi, Gianluca, et al.
Veröffentlicht: (2025)

Verification of Nonblockingness in Bounded Petri Nets With Minimax Basis Reachability Graphs
von: Gu, Chao, et al.
Veröffentlicht: (2020)

Runtime Verification of Interactions Using Automata
von: Weil-Kennedy, Chana, et al.
Veröffentlicht: (2025)

Formal Verification of Isothermal Chemical Reactors
von: Feyzishendi, Parivash, et al.
Veröffentlicht: (2025)

Making progress: Reducibility Candidates and Cut Elimination in the Ill-founded Realm
von: Curzi, Gianluca, et al.
Veröffentlicht: (2026)

Towards Term-based Verification of Diagrammatic Equivalence
von: Cailler, Julie, et al.
Veröffentlicht: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
von: Antonelli, Melissa, et al.
Veröffentlicht: (2026)

A Hierarchy of Supermartingales for $ω$-Regular Verification
von: Kura, Satoshi, et al.
Veröffentlicht: (2025)

Visualizing Game-Based Certificates for Hyperproperty Verification
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

Omega-regular Verification and Control for Distributional Specifications in MDPs
von: Akshay, S., et al.
Veröffentlicht: (2025)

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

Practical Deductive Verification of OCaml Programs (Extended Version)
von: Pereira, Mário
Veröffentlicht: (2024)

Compositional Verification of Almost-Sure Büchi Objectives in MDPs
von: van der Vegt, Marck, et al.
Veröffentlicht: (2025)

A Performance Verification Methodology for Resource Allocation Heuristics
von: Goel, Saksham, et al.
Veröffentlicht: (2023)

Verification and External Parameter Inference for Stochastic World Models
von: Calinescu, Radu, et al.
Veröffentlicht: (2025)