Tracing the executions of concurrent programs

Keyphrases

• Automatic Tool 50%
• Automatic Translation 50%
• Concurrent Programs 100%
• Debugging 50%
• Execution Path 50%
• Finite Sequence 50%
• Fully-automatic 50%
• Path Condition 50%
• Sequential Programs 50%
• Software Debugging 50%
• State Space 50%
• State Space Explosion 50%

Computer Science

• Concurrent Program 100%
• Execution Path 50%
• Sequential Program 50%
• software debugging 50%
• State Space 50%
• Temporal Formula 50%