License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.FSCD.2019.34
URN: urn:nbn:de:0030-drops-105414
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2019/10541/
Go to the corresponding LIPIcs Volume Portal

Rubio, Rubén ; Martí-Oliet, Narciso ; Pita, Isabel ; Verdejo, Alberto

Model Checking Strategy-Controlled Rewriting Systems (System Description)

pdf-format:
LIPIcs-FSCD-2019-34.pdf (0.5 MB)

Abstract

Strategies are widespread in Computer Science. In the domain of reduction and rewriting systems, strategies are studied as recipes to restrict and control reduction steps and rule applications, which are intimately local, in a derivation-global sense. This idea has been exploited by various tools and rewriting-based specification languages, where strategies are an additional specification layer. Systems so described need to be analyzed too. This article discusses model checking of systems controlled by strategies and presents a working strategy-aware LTL model checker for the Maude specification language, based on rewriting logic, and its strategy language.

BibTeX - Entry

@InProceedings{rubio_et_al:LIPIcs:2019:10541,
  author =	{Rub{\'e}n Rubio and Narciso Mart{\'i}-Oliet and Isabel Pita and Alberto Verdejo},
  title =	{{Model Checking Strategy-Controlled Rewriting Systems (System Description)}},
  booktitle =	{4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)},
  pages =	{34:1--34:18},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-107-8},
  ISSN =	{1868-8969},
  year =	{2019},
  volume =	{131},
  editor =	{Herman Geuvers},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2019/10541},
  URN =		{urn:nbn:de:0030-drops-105414},
  doi =		{10.4230/LIPIcs.FSCD.2019.34},
  annote =	{Keywords: Model checking, strategies, Maude, rewriting logic}
}

Keywords: Model checking, strategies, Maude, rewriting logic
Collection: 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)
Issue Date: 2019
Date of publication: 18.06.2019

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI