OptySim

A tool for the analysis and optimization of heterogeneous systems whose behavior can be observed as traces.