Towards Formal Verification of Node RED-Based IoT Applications.

Ikram Garfatta Nour Elhouda Souid Kaïs Klai

Published in: VECoS (2023)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
management system
symbolic model checking
directed graph
big data
program slicing
reinforcement learning
open source
cloud computing
tree structure
temporal logic
functional verification