To participate please log in.
homepage › Forums › BridgePoint/xtUML Usage and Training › Using MASL › Reply To: Using MASL
Clive, I think, though I have not verified, that MASL is not yet supported by Verifier or the C model compiler (MC-3020).
