PDL over Accelerated Labeled Transition Systems.

Taolue Chen Jaco van de Pol Yanjing Wang

Published in: TASE (2008)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
training data
model checker
supervised learning
data flow
training set
linear programming
formal specification