homepage › Forums › BridgePoint/xtUML Usage and Training › Using MASL › Reply To: Using MASL
July 25, 2019 at 3:51 am
#6239
Participant
Clive, I think, though I have not verified, that MASL is not yet supported by Verifier or the C model compiler (MC-3020).