Formal Development of Object-Based Systems in a Temporal Logic Setting.

Ercument Canver Friedrich W. von Henke

Published in: FMOODS (1999)

Keyphrases

temporal logic
reactive systems
model checking
knowledge based systems
distributed systems
modal logic
formal methods
software engineering
dynamic constraints
concurrent systems
satisfiability problem
complex systems
verification method
temporal knowledge
np complete
search algorithm
transition systems