Checking temporal properties under simulation of executable system descriptions.

Jürgen Ruf Dirk W. Hoffmann Thomas Kropf Wolfgang Rosenstiel

Published in: HLDVT (2000)

Keyphrases

temporal properties
model checking
high level
query language
possibility theory
simulation model
formal specification
artificial intelligence
multi agent systems
data analysis
knowledge representation
case based reasoning
random walk
formal methods