scientific article; zbMATH DE number 7559300

DOI10.4230/LIPIcs.FSCD.2019.34MaRDI QIDQ5089038

Narciso Martí-Oliet, Rubń Rubio, Isabel Pita, Alberto Verdejo

Publication date: 18 July 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

model checkingstrategiesrewriting logicMaude

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Related Items (6)

Simulating and model checking membrane systems using strategies in Maude ⋮ Metalevel transformation of strategies ⋮ The Maude strategy language ⋮ QMaude: quantitative specification and verification in rewriting logic ⋮ Strategies, model checking and branching-time properties in Maude ⋮ Programming and symbolic computation in Maude

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• The lambda calculus, its syntax and semantics
• Conditional rewriting logic as a unified model of concurrency
• Deduction, Strategies, and Rewriting
• Modular Structural Operational Semantics with Strategies
• Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics
• Solving Sudoku Puzzles with Rewriting Rules
• Abstraction and Model Checking of Core Erlang Programs in Maude
• LTL to Büchi Automata Translation: Fast and More Deterministic
• Modelling and Verifying Contract-Oriented Systems in Maude
• Rewriting Strategies and Strategic Rewrite Programs
• Reasoning About Strategies
• A completeness theorem in modal logic
• Alternating-time temporal logic
• Handbook of Model Checking
• Term Rewriting and All That
• Strategies and simulations in a semantic framework

This page was built for publication: