Public Repository

Last pushed: 2 years ago
Short Description
The official build of Mule.
Full Description

Mule

Mule is a multiscale multidimensional spatio-temporal approximate probabilistic meta model checker used for the validation of computational models relative to a given formal PBLMSTL specification.

Official website: http://mule.modelchecking.org.

Docker Pull Command
Owner
icerage