model.vpCtrl/⌘ + Enter to verify
verifpal analysis
Model changed. These results describe the earlier model; verify again to analyze your edits.
Load an example or write a model, then press Verify.
Model changed. These results describe the earlier model; verify again to analyze your edits.