Cover Image

Symbolic Model Checking using Intervals of Vectors

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Morard, Damien, Donati, Lucas, Buchs, Didier
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science F.3; E.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

A Guide to Krivine Realizability for Set Theory
by: Matthews, Richard
Published: (2023)

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

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

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

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

Symmetries in Sorting
by: Choudhury, Vikraman, et al.
Published: (2025)

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

The Lambda Calculus is Quantifiable
by: Maestracci, Valentin, et al.
Published: (2024)

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

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

A Fibrational Perspective on Differential Linear Logic
by: Koleilat, Jad
Published: (2026)

Relational Dualities and Bisimulation
by: Kozicki, Piotr, et al.
Published: (2026)

Probabilistic Epistemic Dynamic Agentive Logic
by: Logan, Shay Allen
Published: (2026)

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

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

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

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

The Thins Ordering on Relations
by: Voermans, Ed, et al.
Published: (2024)

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

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

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

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

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

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

Mechanizing Operads with Event-B
by: Attiogbé, Christian
Published: (2025)

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

Discernment is all you need
by: Fuenmayor, David
Published: (2026)

Simple Types for Polymorphic Functions
by: Jay, Barry, et al.
Published: (2026)

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

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