MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties.

Ezio Bartocci Luca Bortolussi Laura Nenzi Simone Silvetti

Published in: CoRR (2021)

Keyphrases

lightweight
temporal properties
model checking
formal methods
dos attacks
wireless sensor networks
possibility theory
computational intelligence
rfid tags
handheld devices
development environments