Imagen de Portada

Symbolic Model Checking using Intervals of Vectors

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Morard, Damien, Donati, Lucas, Buchs, Didier
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science F.3; E.4
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

SMT-based Symbolic Model-Checking for Operator Precedence Languages
por: Chiari, Michele, et al.
Publicado: (2024)

Hardness of busy beaver value BB(15)
por: Stérin, Tristan, et al.
Publicado: (2021)

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification
por: Blondin, Michael, et al.
Publicado: (2024)

Nominal Sets in Rocq
por: Paranhos, Fabrício Sanches, et al.
Publicado: (2025)

Semantics out of context: nominal absolute denotations for first-order logic and computation
por: Gabbay, Murdoch J.
Publicado: (2013)

Model Checking Probabilistic Operator Precedence Automata
por: Pontiggia, Francesco, et al.
Publicado: (2024)

Trocq: Proof Transfer for Free, With or Without Univalence
por: Cohen, Cyril, et al.
Publicado: (2023)

Machine-Checked Categorical Diagrammatic Reasoning
por: Guillemet, Benoît, et al.
Publicado: (2024)

On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
por: Lago, Ugo Dal, et al.
Publicado: (2026)

A Type Theory for Probabilistic and Bayesian Reasoning
por: Adams, Robin, et al.
Publicado: (2015)

A Guide to Krivine Realizability for Set Theory
por: Matthews, Richard
Publicado: (2023)

Fractal Analysis on the Real Interval: A Constructive Approach via Fractal Countability
por: Semenov, Stanislav
Publicado: (2025)

Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
por: Jilissen, Kevin H. J., et al.
Publicado: (2024)

Technical Report: Exploring Automatic Model-Checking of the Ethereum specification
por: Konnov, Igor, et al.
Publicado: (2025)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
por: Barroso-Nascimento, Victor, et al.
Publicado: (2025)

Symmetries in Sorting
por: Choudhury, Vikraman, et al.
Publicado: (2025)

Model-Checking PCTL Properties of Stateless Probabilistic Pushdown Systems
por: Lin, Deren, et al.
Publicado: (2014)

The Lambda Calculus is Quantifiable
por: Maestracci, Valentin, et al.
Publicado: (2024)

A Coq-based Axiomatization of Tarski's Mereogeometry
por: Barlatier, Patrick, et al.
Publicado: (2025)

Interpreting De Finetti's theorem in the Category of Integrable Cones (long version)
por: Raphaëlle, Crubillé
Publicado: (2026)

A Fibrational Perspective on Differential Linear Logic
por: Koleilat, Jad
Publicado: (2026)

Relational Dualities and Bisimulation
por: Kozicki, Piotr, et al.
Publicado: (2026)

Probabilistic Epistemic Dynamic Agentive Logic
por: Logan, Shay Allen
Publicado: (2026)

A taxonomy of categories for relations
por: Cioffo, Cipriano Junior, et al.
Publicado: (2025)

The General and Finite Satisfiability Problems for PCTL are Undecidable
por: Chodil, Miroslav, et al.
Publicado: (2024)

A Real-Analytic Approach to Differential-Algebraic Dynamic Logic
por: Hellwig, Jonathan, et al.
Publicado: (2025)

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics
por: Bisping, Benjamin, et al.
Publicado: (2024)

The Thins Ordering on Relations
por: Voermans, Ed, et al.
Publicado: (2024)

Diagonals and Block-Ordered Relations
por: Backhouse, Roland, et al.
Publicado: (2024)

The Index and Core of a Relation. With Applications to the Axiomatics of Relation Algebra
por: Backhouse, Roland, et al.
Publicado: (2023)

Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
por: Castiglioni, José Luis, et al.
Publicado: (2025)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
por: Borzechowski, Manfred, et al.
Publicado: (2025)

Infinitary Refinement Types for Temporal Properties in Scott Domains
por: Riba, Colin, et al.
Publicado: (2025)

Modelling Multiplicative Linear Logic via Deep Inference
por: Galor, Tomer, et al.
Publicado: (2024)

Mechanizing Operads with Event-B
por: Attiogbé, Christian
Publicado: (2025)

A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
por: Piedeleu, Robin, et al.
Publicado: (2024)

Discernment is all you need
por: Fuenmayor, David
Publicado: (2026)

Simple Types for Polymorphic Functions
por: Jay, Barry, et al.
Publicado: (2026)

A Graded Modal Type Theory for Pulse Schedules
por: Adams, Robin, et al.
Publicado: (2025)

Forcing with Language Fragments, Extending Namba Forcing, and Models of Theories with Constraints in Interpretation
por: Lau, Desmond
Publicado: (2024)