Temporal Logic Specification and Analysis for Model Transformations.

Sobhan Yassipour Tehrani Kevin Lano

Published in: VOLT@STAF (2015)

Keyphrases

temporal logic
reactive systems
process model
dynamic systems
satisfiability problem
model checker
verification method
dynamic constraints