• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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