A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems.

Nazareno Aguirre T. S. E. Maibaum

Published in: ASE (2002)

Keyphrases

temporal logic
reactive systems
model checking
dynamic constraints
transition systems
distributed systems
linear temporal logic
modal logic
complex systems
knowledge based systems
satisfiability problem
concurrent systems
artificial intelligence
information flow