Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL.

Yuan Fei Huibiao Zhu Jiaqi Yin

Published in: J. Softw. Evol. Process. (2023)

Keyphrases

model checking
model checker
temporal logic
lightweight
data sets
machine learning
search engine
cooperative
formal analysis
tcp ip
colored petri nets
file transfer
coloured petri nets