search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Animating TLA Specifications.

Yassin Mokhtari Stephan Merz

Published in: LPAR (1999)

Keyphrases

temporal logic
concurrent systems
delay insensitive
high level
formal specification
bounded model checking
data sets
reactive systems
specification language
functional requirements
three dimensional
virtual humans
model checking
computer graphics
bayesian networks
genetic algorithm
databases