State space reduction based on live variables analysis.

DOI10.1016/S0167-6423(02)00133-8MaRDI QIDQ1398676zbMATH OpenOpenAlexFDO

Authors Jean-Claude Fernandez, Marius Bozga, Lucian Ghirvu

Publication date 7 August 2003

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0167-6423(02)00133-8

zbMATH Keywords

communicationModel checkingBisimulationState space reductionAsynchronousLive variables analysis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1487855
• Model reduction by state space projection.
• State space reduction of linear processes using control flow reconstruction
• scientific article; zbMATH DE number 958350
• State space reduction using partial order techniques
• Combining decomposition and reduction for state space analysis of a self-stabilizing system
• A state-space approach for model reduction of 2-D systems
• scientific article; zbMATH DE number 1343145
• scientific article; zbMATH DE number 3922500
• Model reduction via the internally balanced state space representation

Cited in

(3)

• Symbolic observation graph-based generation of test paths
• On partial state matching
• State space reduction for process algebra specifications

This page was built for publication: State space reduction based on live variables analysis.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1398676)