Several techniques for addressing the state space explosion problem in model checking have been studied. One of these is to use distributed memory and computation for storing and exploring the state space of the model of a system. In this report, we present and compare different multithread, distributed, and cloud approaches to face the statespace explosion problem. The experiments report shows the convenience (in particular) of cloud approaches.
Petri nets state space analysis in the cloud / M. Camilli - In: ICSE '12 : proceedings of the 34th IEEE/ACM International conference on software engineering : June 2-9, 2012, Zurich, Switzerland / [a cura di] M. Glinz, G. Murphy, M. Pezzè. - Piscataway (New Jersey) : IEEE, 2012 Jun 02. - ISBN 9781467310673. - pp. 1638-1640 (( Intervento presentato al 34. convegno International conference on software engineering (ICSE) tenutosi a Zurich nel 2012 [10.1109/ICSE.2012.6227217].
Petri nets state space analysis in the cloud
M. CamilliPrimo
2012
Abstract
Several techniques for addressing the state space explosion problem in model checking have been studied. One of these is to use distributed memory and computation for storing and exploring the state space of the model of a system. In this report, we present and compare different multithread, distributed, and cloud approaches to face the statespace explosion problem. The experiments report shows the convenience (in particular) of cloud approaches.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
