id: 06105566
dt: a
an: 06105566
au: Ruys, Theo C.; Kars, Pim
ti: Gossiping girls are all alike.
so: Donaldson, Alastair (ed.) et al., Model checking software. 19th
    international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012.
    Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture
    Notes in Computer Science 7385, 117-136 (2012).
py: 2012
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-31759-0_10
ab: Summary: This paper discusses several different ways to model the
    well-known gossiping girls problem in promela. The highly symmetric
    nature of the problem is exploited using plain promela, topspin (an
    extension to Spin for symmetry reduction), and by connecting Spin to
    bliss (a tool to compute canonical representations of graphs). The
    model checker Spin is used to compare the consequences of the various
    modelling choices. This ‒ tutorial style ‒ paper is meant as a road
    map of the various ways of modelling symmetric systems that can be
    explored.
rv: