×

Specification guidelines to avoid the state space explosion problem. (English) Zbl 1353.68178

Arbab, Farhad (ed.) et al., Fundamentals of software engineering. 4th IPM international conference, FSEN 2011, Tehran, Iran, April 20–22, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29319-1/pbk). Lecture Notes in Computer Science 7141, 112-127 (2012).
Summary: 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.
For the entire collection see [Zbl 1241.68006].

MSC:

68Q60 Specification and verification (program logics, model checking, etc.)

Software:

mCRL2; Reo; CADP
PDFBibTeX XMLCite
Full Text: DOI Link