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

Ezio Bartocci Luca Bortolussi Michele Loreti Laura Nenzi Simone Silvetti

Published in: RV (2020)

Keyphrases

lightweight
temporal properties
model checking
formal methods
rfid tags
development environments
genetic algorithm
web services
wireless sensor networks
temporal logic
authentication protocol
handheld devices