PROMISE

Probabilistic Compositional Multi-Dimension Model-Based Verification