Asymptotic behaviour in temporal logic.

Eugene Asarin Michel Blockelet Aldric Degorre Catalin Dima Chunyan Mu

Published in: CSL-LICS (2014)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
concurrent systems
temporal knowledge
belief revision
verification method
dynamic constraints
mazurkiewicz traces
orders of magnitude
petri net
temporal properties
temporally extended