Parametric Metric Interval Temporal Logic.

Barbara Di Giampaolo Salvatore La Torre Margherita Napoli

Published in: LATA (2010)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
predicate logic
model checker
linear temporal logic
mazurkiewicz traces
belief revision
temporal knowledge
verification method
formal specification language
knowledge base
formal methods
bounded model checking