Formal verification of IoT applications using rewriting logic: An MDE-based approach
Abdelouahab Fortas, Elhillali Kerkouche, Allaoua Chaoui
Topics & Concepts
Computer scienceRewritingProgramming languageModel transformationSemantics (computer science)Model checkingFormal semantics (linguistics)Formal verificationFormal methodsUnified Modeling LanguageSoftware engineeringArtificial intelligenceSoftwareConsistency (knowledge bases)Model-Driven Software Engineering TechniquesAdvanced Software Engineering MethodologiesService-Oriented Architecture and Web Services