Formal verification requires high performance data processing software for extracting knowledge from the unprecedented amount of data coming 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 bigdata community to enable verification of very complex systems using bigdata approaches and cloud computing facilities.
Formal verification problems in a big data world : towards a mighty synergy / M. Camilli - In: 36. International conference on software engineering (ICSE companion 2014) : proceedings : Hyderabad, India, May 31-June 07, 2014 / [a cura di] P. Jalote, L.C. Briand, A. van der Hoek. - New York : Association for computing machinery, 2014. - ISBN 9781450327688. - pp. 638-641 (( Intervento presentato al 36. convegno International conference on software engineering (ICSE) tenutosi a Hyderabad (India) nel 2014 [10.1145/2591062.2591088].
Formal verification problems in a big data world : towards a mighty synergy
M. CamilliPrimo
2014
Abstract
Formal verification requires high performance data processing software for extracting knowledge from the unprecedented amount of data coming 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 bigdata community to enable verification of very complex systems using bigdata approaches and cloud computing facilities.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.