Sciweavers

15614 search results - page 289 / 3123
» The State of State
Sort
View
ECOOPW
1997
Springer
15 years 10 months ago
Extracting State Diagrams from Legacy Systems
Tarja Systä, Kai Koskimies
TACAS
1997
Springer
146views Algorithms» more  TACAS 1997»
15 years 10 months ago
Compositional State Space Generation from Lotos Programs
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
Jean-Pierre Krimm, Laurent Mounier