Login / Signup

Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe.

Messaoud AbbasRenaud RiobooChoukri-Bey Ben-YellesColin F. Snook
Published in: J. Syst. Archit. (2021)
Keyphrases
  • uml activity diagrams
  • formal methods
  • object oriented
  • model checking
  • modeling language