CheceMate: a hybrid system verification tool for Matlab