Login / Signup

A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring.

Alberto RugnoneFrancesco PoliEnrico VicarioChris D. NugentElena TamburiniCristiano Paggetti
Published in: ICOST (2007)
Keyphrases
  • temporal logic
  • model checking
  • modal logic
  • satisfiability problem
  • linear temporal logic
  • concurrent systems
  • visual information
  • model checker
  • verification method
  • belief revision
  • data flow
  • temporal properties