Verifying Temporal Properties in Real Models.

Tim French John Christopher McCabe-Dansted Mark Reynolds

Published in: LPAR (2013)

Keyphrases

temporal properties
model checking
probabilistic model
decision making
knowledge acquisition
random walk
metamodel