Visual Language for Specifying Verification Properties.

Outman El Hichami Mohamed Naoum Mohammed Al Achhab Badr Eddine El Mohajir Mohamed Lazaar

Published in: BDIoT (2019)

Keyphrases

model checking
knowledge base
artificial neural networks
desirable properties
real time
information retrieval
learning algorithm
three dimensional
database systems
wide range
data structure
multi agent systems
lower bound
structural properties
topological properties
key properties