The following tools exist for the Parallel Object-Oriented Specification Language:
Rotalumis is a high-speed execution engine for POOSL models. This execution engine simulates POOSL models conform the formal semantics. If you wonder what Rotalumis actually stands for, try reading it backwards.
Eclipse-based tools for editing and debugging POOSL models and highlights the industrial applicability of POOSL developed by ESI (TNO).
The old smalltalk based tool for editing, debugging and simulating POOSL models. This tool has been decommissioned in favour of PooslIDE and Rotalumis.