These include step-by-step execution, inspection of the system state, conditional breakpoints, scenario rewind/replay and verification of simple consistency conditions like deadlocks or time locks.
Entre otras operaciones, permite ejecutar paso a paso, inspeccionar el estado del sistema, efectuar puntos de interrupción condicional, rebobinar o volver a reproducir el escenario y verificar las condiciones sencillas de coherencia, como el interbloqueo o el limitador de tiempo.cordis cordis