PDSL

Parallel and Distributed Systems Lab
The University of Texas at Austin

List of Tools and Libraries

• SPICED : Simple Promela Interpreter with Crucial Event Detection
• POTA : Partial Order Trace Analyzer
• Distributed Program Simulator
• MultiSlicer
• Fused Data Structure Packages
• Fused Finite State Machine Tools