Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe
Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles, Colin Snook
Topics & Concepts
Computer scienceProgramming languageUnified Modeling LanguageObject Constraint LanguageApplications of UMLFormal semantics (linguistics)Class diagramUML toolActivity diagramFormal methodsTheoretical computer scienceFormal verificationSemantics (computer science)SoftwareModel-Driven Software Engineering TechniquesFormal Methods in VerificationAdvanced Software Engineering Methodologies