Buchumschlag

A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Arias, Jaime, Bae, Kyungmin, Olarte, Carlos, Ölveczky, Peter Csaba, Petrucci, Laure
Format:	Preprint
Veröffentlicht:	2024
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

Timed Strategies for Real-Time Rewrite Theories
von: Olarte, Carlos, et al.
Veröffentlicht: (2024)

Formal Analysis of Networked PLC Controllers Interacting with Physical Environments
von: Lee, Jaeseo, et al.
Veröffentlicht: (2025)

Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study
von: Olarte, Carlos, et al.
Veröffentlicht: (2024)

PECR: A formal system based on computability logic
von: Pantelis, G.
Veröffentlicht: (2024)

Model checking strategy-controlled systems in rewriting logic
von: Rubio, Rubén, et al.
Veröffentlicht: (2024)

A tree rewriting system for the Reflection Calculus
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2024)

Lean-SMT: An SMT tactic for discharging proof goals in Lean
von: Mohamed, Abdalrhman, et al.
Veröffentlicht: (2025)

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

SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout
von: Li, Bohan, et al.
Veröffentlicht: (2024)

LLM2SMT: Building an SMT Solver with Zero Human-Written Code
von: Janota, Mikoláš, et al.
Veröffentlicht: (2026)

Bi-reachability in Petri nets with data
von: Kamiński, Łukasz, et al.
Veröffentlicht: (2024)

Adhesive category theory for graph rewriting in Rocq
von: Arsac, Samuel, et al.
Veröffentlicht: (2025)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
von: Bartholomew, Michael, et al.
Veröffentlicht: (2025)

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
von: Hader, Thomas, et al.
Veröffentlicht: (2024)

Efficient Volume Computation for SMT Formulas
von: Shaw, Arijit, et al.
Veröffentlicht: (2025)

An SMT Theory for n-Indexed Sequences
von: Hara, Hichem Rami Ait El, et al.
Veröffentlicht: (2024)

An SMT-LIB Theory of Finite Fields
von: Hader, Thomas, et al.
Veröffentlicht: (2024)

Hint-Based SMT Proof Reconstruction
von: Clune, Joshua, et al.
Veröffentlicht: (2026)

On SMT Theory Design: The Case of Sequences
von: Hara, Hichem Rami Ait El, et al.
Veröffentlicht: (2024)

A discrete-time temporal deontic STIT logic based on interpreted systems
von: Rong, Shuge, et al.
Veröffentlicht: (2025)

Refutation calculi for lattice-based logics: from display to tableaux
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)

Methods for Efficient Unfolding of Colored Petri Nets
von: Bilgram, Alexander, et al.
Veröffentlicht: (2022)

KindHML: formal verification of smart contracts based on Hennessy-Milner logic
von: Bartoletti, Massimo, et al.
Veröffentlicht: (2026)

On the expressive power of inquisitive team logic and inquisitive first-order logic
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

Neural logic programs and neural nets
von: Antić, Christian
Veröffentlicht: (2024)

Number theory combination: natural density and SMT
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2025)

Integer Reasoning Modulo Different Constants in SMT
von: Pertseva, Elizaveta, et al.
Veröffentlicht: (2025)

Quantum modal logic
von: Tokuo, Kenji
Veröffentlicht: (2025)

Hypergraph rewriting and Causal structure of $λ-$calculus
von: Bajaj, Utkarsh
Veröffentlicht: (2024)

Portus: Linking Alloy with SMT-based Finite Model Finding
von: Dancy, Ryan, et al.
Veröffentlicht: (2024)

A parametricity-based formalization of semi-simplicial and semi-cubical sets
von: Herbelin, Hugo, et al.
Veröffentlicht: (2023)

Tableau methodology for propositional logics
von: Jarmuzek, T., et al.
Veröffentlicht: (2025)

Towards Learning Infinite SMT Models (Work in Progress)
von: Janota, Mikoláš, et al.
Veröffentlicht: (2025)

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology
von: Huvar, Ondřej, et al.
Veröffentlicht: (2026)

Towards SMT Solver Stability via Input Normalization
von: Amrollahi, Daneshvar, et al.
Veröffentlicht: (2024)

Labelled calculi for lattice-based modal logics
von: van der Berg, Ineke, et al.
Veröffentlicht: (2024)

Intuitionistic logic, dual intuitionistic logic, and modality
von: Aryal, Safal Raman
Veröffentlicht: (2024)

Algebraic proof theory for LE-logics
von: Greco, Giuseppe, et al.
Veröffentlicht: (2018)

SMT(LIA) Sampling with High Diversity
von: Lai, Yong, et al.
Veröffentlicht: (2025)

An Encoding for CLP Problems in SMT-LIB
von: Amrollahi, Daneshvar, et al.
Veröffentlicht: (2024)