Specification guidelines to avoid the state space explosion problem

J.F. Groote, T.W.D.M. Kouters, A.A.H. Osaiweran

Onderzoeksoutput: Boek/rapportRapportAcademic

97 Downloads (Pure)


During the last two decades we modelled the behaviour of a large number of systems. We noted that different styles of modelling had quite an effect on the size of the state spaces of the modelled system. The differences were so substantial that some specification styles led to far too many states to verify the correctness of the model, whereas with other styles the number of states was so small that verification was a straightforward activity. In this article we summarise our experience by providing seven specification guidelines. For each guideline we provide an application from the realm of traffic light controllers for which we provide a ‘bad’ model with a large state space, and a ‘good’ model with a small state space.
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's28
StatusGepubliceerd - 2010

Publicatie series

NaamComputer science reports
ISSN van geprinte versie0926-4515

Vingerafdruk Duik in de onderzoeksthema's van 'Specification guidelines to avoid the state space explosion problem'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Groote, J. F., Kouters, T. W. D. M., & Osaiweran, A. A. H. (2010). Specification guidelines to avoid the state space explosion problem. (Computer science reports; Vol. 1014). Technische Universiteit Eindhoven.