Specification.

Published in: Minds Mach. (2011)

Keyphrases

formal verification
high level
specification language
artificial intelligence
special case
tool suite
search engine
evolutionary algorithm
mobile robot
probability distribution
formal specification
state machine