DocumentCode
2443954
Title
Petri nets state space analysis in the cloud
Author
Camilli, Matteo
Author_Institution
Dipt. di Inf. e Comun., Univ. degli Studi di Milano, Milan, Italy
fYear
2012
fDate
2-9 June 2012
Firstpage
1638
Lastpage
1640
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 multi-thread, distributed, and cloud approaches to face the state-space explosion problem. The experiments report shows the convenience (in particular) of cloud approaches.
Keywords
Petri nets; cloud computing; formal verification; multi-threading; Petri nets state space analysis; cloud approaches; distributed approach; distributed memory; model checking; multithread approach; state space explosion problem; Analytical models; Computational modeling; Explosions; Instruction sets; Petri nets; Real time systems; Space exploration; Cloud computing; Distributed computing; MapReduce; Multithreaded computing; Petri nets; Real-Time systems; State-space explosion; State-space parallel exploration;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering (ICSE), 2012 34th International Conference on
Conference_Location
Zurich
ISSN
0270-5257
Print_ISBN
978-1-4673-1066-6
Electronic_ISBN
0270-5257
Type
conf
DOI
10.1109/ICSE.2012.6227217
Filename
6227217
Link To Document