Invariant-Free Deduction Systems for Temporal Logic.

Jose Gaintzarain

Published in: Bull. EATCS (2013)

Keyphrases

temporal logic
model checking
modal logic
dynamic constraints
reactive systems
verification method
concurrent systems
search algorithm
distributed systems
knowledge based systems
inference rules
formal methods