The runtime verification QEA tool