Cobra: a light-weight tool for static and dynamic program analysis.

Gerard J. Holzmann

Published in: Innov. Syst. Softw. Eng. (2017)

Keyphrases

lightweight
communication infrastructure
artificial intelligence
data sets
databases
wireless sensor networks
information retrieval
image sequences
low cost
distributed databases
software tools
service oriented architecture