Decision Procedure for Temporal Logic of Concurrent Objects.

Jean Paul Bahsoun Rami El-Baïda Hugues-Olivier Yar

Published in: Euro-Par (1999)

Keyphrases

temporal logic
model checking
satisfiability problem
modal logic
temporally extended
concurrent systems
computation tree logic
mazurkiewicz traces
verification method
software engineering
inference rules
qualitative simulation
temporal knowledge
reactive systems
dynamic constraints
linear temporal logic