On a Temporal Logic for Object-Based Systems.

Dino Distefano Joost-Pieter Katoen Arend Rensink

Published in: FMOODS (2000)

Keyphrases

temporal logic
model checking
dynamic constraints
reactive systems
modal logic
concurrent systems
search algorithm
state space
orders of magnitude
complex systems
belief revision
satisfiability problem
computation tree logic