136
Voted
ENTCS
2006
15 years 3 months ago
2006
We consider the issue of exploiting the structural form of ESTEREL programs to partition the algorithmic RSS (reachable state space) fix-point construction used in model-checking t...