A Temporal Logic of Nested Calls and Returns.

Rajeev Alur Kousha Etessami P. Madhusudan

Published in: TACAS (2004)

Keyphrases

temporal logic
model checking
satisfiability problem
modal logic
concurrent systems
belief revision
linear temporal logic
mazurkiewicz traces
computation tree logic
transition systems
dynamic constraints
verification method
reactive systems
temporal knowledge
bounded model checking
model checker
markov chain