Formal verification of UML diagrams: A first step towards code generation

Smith, Jeffrey E.Kokar, Mieczyslaw K.Baclawski, KennethEvans, AndyFrance, Robert B.Moreira, Ana M. D.Rumpe, Bernhard2020-01-072020-01-0720013-88579-335-0https://dl.gi.de/handle/20.500.12116/30856enFormal verification of UML diagrams: A first step towards code generationText/Conference Paper1617-5468