Sciweavers

CAV
2005
Springer

86views Hardware» more CAV 2005»

Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs

13 years 10 months ago

We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) ﬁx-point construc...

Eric Vecchié, Robert de Simone

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers