Embedded System Verification Using Formal Model an Approach Based on the Combined Use of UML and Maude Language.
Amel MeliouhAllaoua ChaouiPublished in: Int. J. Concept. Struct. Smart Appl. (2018)
Keyphrases
- formal model
- specification language
- formal specification
- predicate calculus
- modeling language
- formal methods
- model checking
- uml class diagrams
- programming language
- security properties
- natural language
- object oriented
- software engineering
- temporal logic
- language learning
- database design
- software systems
- probabilistic knowledge
- class diagrams
- software development
- unified modeling language
- conceptual models
- conceptual modeling
- cryptographic protocols
- sequence diagrams