The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process.
Moab ArarMichael L. BehmOdellia BoniRaviv GalAlex GoldinMaxim IlyaevEinat KermanyJohn R. ReysaBilal SalehKlaus-Dieter SchubertGil ShurekAvi ZivPublished in: Haifa Verification Conference (2015)