Rewriting Systems with Data
From MaRDI portal
Publication:5444944
DOI10.1007/978-3-540-74240-1_1zbMath1135.68467OpenAlexW1570418357MaRDI QIDQ5444944
Ahmed Bouajjani, Mihaela Sighireanu, Peter Habermehl, Yan Jurski
Publication date: 26 February 2008
Published in: Fundamentals of Computation Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74240-1_1
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (9)
A Logic-Based Framework for Reasoning about Composite Data Structures ⋮ Forward and backward application of symbolic tree transducers ⋮ Church synthesis on register automata over linearly ordered data domains ⋮ Unnamed Item ⋮ Exploiting step semantics for efficient bounded model checking of asynchronous systems ⋮ Towards SMT Model Checking of Array-Based Systems ⋮ Light-Weight SMT-based Model Checking ⋮ Algorithmic Analysis of Array-Accessing Programs ⋮ An automata-theoretic approach to model-checking systems and specifications over infinite data domains
This page was built for publication: Rewriting Systems with Data
