Strategy-aware model checker
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.
Initial term:
Formula:
Strategy:
Opaque strategies:
Model check