State space reduction based on live variables analysis.

DOI10.1016/S0167-6423(02)00133-8zbMath1047.68083OpenAlexW2647579703MaRDI QIDQ1398676

Jean-Claude Fernandez, Lucian Ghirvu, Marius Bozga

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)

Related Items (2)

State space reduction for process algebra specifications ⋮ On partial state matching

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