Login / Signup

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

Ezio BartocciLuca BortolussiMichele LoretiLaura NenziSimone 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