GitHub repository: moraneus/PoET
Primary language: Python
Description: PoET (Partial Order Execution Tracer) is Python-based tool designed to evaluate and analyze all equivalent executions of a concurrent or distributed system based on a given execution trace