State space reduction based on live variables analysis.
type: Item
instance of: scholarly article
title: State space reduction based on live variables analysis.
zbMATH Open document ID: 1047.68083
DOI: 10.1016/S0167-6423(02)00133-8
author: Jean-Claude Fernandez
author: Marius Bozga
author: Lucian Ghirvu
published in: Science of Computer Programming
publication date: 2003-08-07T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1961603
zbMATH Keywords: Model checking
zbMATH Keywords: State space reduction
zbMATH Keywords: Bisimulation
zbMATH Keywords: Asynchronous
zbMATH Keywords: communication
zbMATH Keywords: Live variables analysis
MaRDI profile type: Publication
full work available at URL: s0167-6423(02)00133-8
OpenAlex ID: W2647579703
Recommended article: Q4494380
Recommended article: Q3378726
Recommended article: State Space Reduction of Linear Processes Using Control Flow Reconstruction
Recommended article: Q5687675
Recommended article: State space reduction using partial order techniques
Recommended article: Combining decomposition and reduction for state space analysis of a self-stabilizing system
Recommended article: A state-space approach for model reduction of 2-D systems
Recommended article: Q4266982
Recommended article: Q3697001
Recommended article: Model reduction via the internally balanced state space representation
description: scientific article; zbMATH DE number 1961603