Sciweavers

Share
SAS
1999
Springer

State Space Reduction Based on Live Variables Analysis

12 years 2 months ago
State Space Reduction Based on Live Variables Analysis
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model-checking techniques as a way to enhance the performances of automated validation tools. The goal of this paper is to point out that an equivalence on our model derived from the information on live variables is stronger than the strong bisimulation. This equivalence, further called live bisimulation, exploits the unused dead values stored either in variables or in queue contents and allow to simplify the state space with a rather important factor. Furthermore, this reduction comes almost for free and is always possible to directly generate the quotient model without generating the initial one.
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where SAS
Authors Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
Comments (0)
books