Distributed CTL Model Checking in the Cloud
Guardado en:
| Publicado en: | arXiv.org (Oct 24, 2013), p. n/a |
|---|---|
| Autor principal: | |
| Otros Autores: | , , |
| Publicado: |
Cornell University Library, arXiv.org
|
| Materias: | |
| Acceso en línea: | Citation/Abstract Full text outside of ProQuest |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 2081413102 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 2331-8422 | ||
| 024 | 7 | |a 10.1109/SYNASC.2014.52 |2 doi | |
| 035 | |a 2081413102 | ||
| 045 | 0 | |b d20131024 | |
| 100 | 1 | |a Bellettini, Carlo | |
| 245 | 1 | |a Distributed CTL Model Checking in the Cloud | |
| 260 | |b Cornell University Library, arXiv.org |c Oct 24, 2013 | ||
| 513 | |a Working Paper | ||
| 520 | 3 | |a The recent extensive availability of "big data" platforms calls for a more widespread adoption by the formal verification community. In fact, formal verification requires high performance data processing software for extracting knowledge from the unprecedented amount of data which come from analyzed systems. Since cloud based computing resources have became easily accessible, there is an opportunity for verification techniques and tools to undergo a deep technological transition to exploit the new available architectures. This has created an increasing interest in parallelizing and distributing verification techniques. In this paper we introduce a distributed approach which exploits techniques typically used by the "big data" community to enable verification of Computation Tree Logic (CTL) formulas on very large state spaces using distributed systems and cloud computing facilities. The outcome of several tests performed on benchmark specifications are presented, thus showing the convenience of the proposed approach. | |
| 653 | |a Electronic design automation | ||
| 653 | |a Big Data | ||
| 653 | |a Data management | ||
| 653 | |a Parallel processing | ||
| 653 | |a Program verification (computers) | ||
| 653 | |a Communities | ||
| 653 | |a Data processing | ||
| 653 | |a Cloud computing | ||
| 653 | |a Computer networks | ||
| 700 | 1 | |a Camilli, Matteo | |
| 700 | 1 | |a Capra, Lorenzo | |
| 700 | 1 | |a Monga, Mattia | |
| 773 | 0 | |t arXiv.org |g (Oct 24, 2013), p. n/a | |
| 786 | 0 | |d ProQuest |t Engineering Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/2081413102/abstract/embedded/7BTGNMKEMPT1V9Z2?source=fedsrch |
| 856 | 4 | 0 | |3 Full text outside of ProQuest |u http://arxiv.org/abs/1310.6670 |