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