Statistical Model checker for Signal Temporal Logic - View it on GitHub