Unified Maude model-checking tool
Cancel
Open
Term:
Strategy:
Go back
Load and model check Maude file:
Open Maude file
Module:
Please select a Maude file and a Maude module defining the system and properties specification.
Qualitative (check)
Quantitative (pcheck)
Uniform
Weighted by actions
Weighted by term
Weighted by metadata
Probabilistic strategy
MDP
Weight term:
Reward term:
Initial term:
Formula:
+
Strategy:
Opaque strategies:
Model check