Login / Signup
A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring.
Alberto Rugnone
Francesco Poli
Enrico Vicario
Chris D. Nugent
Elena Tamburini
Cristiano 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