Specification guidelines to avoid the state space explosion problem

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)

Abstract

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 paper we summarise our experience by providing seven specification guidelines, of which five are worked out in more detail. Keywords: Design for verifications, specification guidelines, state space explosion, model checking.
Original languageEnglish
Title of host publicationFundamentals of Software Engineering (4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011. Revised Selected Papers)
EditorsF. Arbab, M. Sirjani
Place of PublicationBerlin
PublisherSpringer
Pages112-126
ISBN (Print)978-3-642-29319-1
DOIs
Publication statusPublished - 2012

Publication series

NameLecture Notes in Computer Science
Volume7141
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'Specification guidelines to avoid the state space explosion problem'. Together they form a unique fingerprint.

  • Cite this

    Groote, J. F., Kouters, T. W. D. M., & Osaiweran, A. A. H. (2012). Specification guidelines to avoid the state space explosion problem. In F. Arbab, & M. Sirjani (Eds.), Fundamentals of Software Engineering (4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011. Revised Selected Papers) (pp. 112-126). (Lecture Notes in Computer Science; Vol. 7141). Springer. https://doi.org/10.1007/978-3-642-29320-7_8