Search

• < Previous
• 1
• Next >

revTPL: The Reversible Temporal Process Language

Reversible debuggers help programmers to find the causes of misbehaviours in concurrent programs more quickly, by executing a program backwards from the point where a misbehaviour was observed, and looking for the bug(s) that caused it. Reversible debuggers can be founded on the well-studied theory&nbsp;[&hellip;]