I can verify what John said — MASL is not supported in BridgePoint Verifier or MC-3020.
If you want to get started using MASL, I recommend checking out the GPS Watch (MASL) project from the Welcome page (Click Help > Welcome). A couple things to note if you do decide to go that way:
– The MASL architecture is only supported on Linux. I have successfully gotten it running on Ubuntu 18.04, but I did have some dependency issues with the current version of the model compiler. I would recommend Ubuntu 16.04 LTS as the easiest to get going. I cannot speak for other Linux distros.
– You must build and install the MASL compiler from source before it can be used to build xtUML projects. The git repo is here: https://github.com/xtuml/masl. There are instructions in the README to get started.