Ces opérations incluent l'exécution pas à pas, l'inspection de l'état du système, des points d'interruption conditionnels, un rembobinage/répétition des scénarios et la vérification de contraintes de cohérence simples tels que les interblocages ou les verrous temporels.
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.cordis cordis