Using Temporal Logic for Dynamic Reconfigurations of Components.

Julien Dormoy Olga Kouchnarenko Arnaud Lanoix

Published in: FACS (2010)

Keyphrases

temporal logic
model checking
dynamic constraints
concurrent systems
satisfiability problem
mazurkiewicz traces
linear temporal logic
modal logic
transition systems
model checker
data model
verification method
reactive systems
software components
dynamic environments
computation tree logic
knowledge based systems