Copertina

Strategies, model checking and branching-time properties in Maude

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Rubio, Rubén, Martí-Oliet, Narciso, Pita, Isabel, Verdejo, Alberto
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science 68Q60 F.4.1; F.3.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Simulating and model checking membrane systems using strategies in Maude
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

Model checking strategy-controlled systems in rewriting logic
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

Metalevel transformation of strategies
di: Rubio, Rubén, et al.
Pubblicazione: (2024)

The Maude strategy language
di: Eker, Steven, et al.
Pubblicazione: (2024)

A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
di: Wang, Shuai
Pubblicazione: (2024)

On Woolhouse's Cotton-Spinning Problem
di: Groote, Jan Friso, et al.
Pubblicazione: (2024)

A declarative approach to specifying distributed algorithms using three-valued modal logic
di: Gabbay, Murdoch J., et al.
Pubblicazione: (2025)

Conformance Games for Graded Semantics
di: Forster, Jonas, et al.
Pubblicazione: (2024)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
di: Rahnama, Moses
Pubblicazione: (2025)

Nominal techniques as an Agda library
di: Gabbay, Murdoch J., et al.
Pubblicazione: (2026)

Monitoring Hyperproperties over Observed and Constructed Traces
di: Chalupa, Marek, et al.
Pubblicazione: (2025)

Principal Types as Partial Involutions
di: Honsell, Furio, et al.
Pubblicazione: (2024)

The Solver's Paradox in Formal Problem Spaces
di: Rosko, Milan
Pubblicazione: (2025)

Synthesis of Safety Specifications for Probabilistic Systems
di: Ohlmann, Gaspard, et al.
Pubblicazione: (2025)

Relative Constructibility via Generalised Sequential Algorithms
di: Lau, Desmond
Pubblicazione: (2024)

Graded Monad Coalgebras for Continuous-Time Transition Systems
di: Di Lavore, Elena, et al.
Pubblicazione: (2026)

Arithmetics within the Linear Time Hierarchy
di: Pollett, Chris
Pubblicazione: (2025)

Extended Nullstellensatz proof systems
di: Krajicek, Jan
Pubblicazione: (2023)

Failure of the strong feasible disjunction property
di: Krajicek, Jan
Pubblicazione: (2026)

On the existence of strong proof complexity generators
di: Krajicek, Jan
Pubblicazione: (2022)

Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
di: Adsul, Bharat, et al.
Pubblicazione: (2024)

A Logspace Constructive Proof of L=SL
di: Buss, Sam, et al.
Pubblicazione: (2025)

Gödel Mirror: A Formal System For Contradiction-Driven Recursion
di: Chan, Jhet
Pubblicazione: (2025)

Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture
di: Koomullil, George
Pubblicazione: (2026)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
di: Ramos, Arthur, et al.
Pubblicazione: (2025)

A proof complexity conjecture and the Incompleteness theorem
di: Krajicek, Jan
Pubblicazione: (2023)

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

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

The Thins Ordering on Relations
di: Voermans, Ed, et al.
Pubblicazione: (2024)

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

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

Probabilistic Epistemic Dynamic Agentive Logic
di: Logan, Shay Allen
Pubblicazione: (2026)

Declarative distributed algorithms as axiomatic theories in three-valued modal logic over semitopologies
di: Gabbay, Murdoch J.
Pubblicazione: (2025)

A formalization of Borel determinacy in Lean
di: Manthe, Sven
Pubblicazione: (2025)

Symmetries in Sorting
di: Choudhury, Vikraman, et al.
Pubblicazione: (2025)

How to Verify a Turing Machine with Dafny
di: Lederer, Edgar F. A.
Pubblicazione: (2026)

A note on occur-check (extended report)
di: Drabent, Włodzimierz
Pubblicazione: (2022)

An Expressive Trace Logic for Recursive Programs
di: Gurov, Dilian, et al.
Pubblicazione: (2024)

Insignificant Choice Polynomial Time: A Logic Capturing PTIME
di: Schewe, Klaus-Dieter
Pubblicazione: (2020)

Decidable Reversible Equivalences for Finite Petri Nets
di: Gorrieri, Roberto, et al.
Pubblicazione: (2025)