Permutation rewriting and algorithmic verification
type: Item
instance of: scholarly article
title: Permutation rewriting and algorithmic verification
zbMATH Open document ID: 1107.68052
author: Ahmed Bouajjani
author: Anca Muscholl
author: Tayssir Touili
published in: Information and Computation
publication date: 2007-02-20T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5128340
zbMATH Keywords: regular model checking
zbMATH Keywords: semi-commutations
zbMATH Keywords: rewrite systems
zbMATH Keywords: verification
MaRDI profile type: Publication
full work available at URL: j.ic.2005.11.007
OpenAlex ID: W2063288032
cites work: Q4817539
cites work: Reachability analysis of pushdown automata: Application to model-checking
cites work: Q4714446
cites work: Q4223068
cites work: A partial approach to model checking
cites work: Q4518896
cites work: Symbolic model checking with rich assertional languages
cites work: On recognizable subsets of free partially commutative monoids
cites work: Q4941891
cites work: An algorithmic approach for checking closure properties of temporal logic specifications and \(\omega\)-regular languages
cites work: Polynomial closure and unambiguous product
cites work: Q2754094
cites work: Classifying regular events in symbolic logic
cites work: Regular Model Checking using Widening Techniques
cites work: A stubborn attack on state explosion
DOI: 10.1016/J.IC.2005.11.007
description: scientific article; zbMATH DE number 5128340