The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process. - Moab Arar; Michael L. Behm; Odellia Boni; Raviv Gal; Alex Goldin; Maxim Ilyaev; Einat Kermany; John R. Reysa; Bilal Saleh; Klaus-Dieter Schubert; Gil Shurek; Avi Ziv (Haifa Verification Conference, 2015)