A Specification of the Cat and Mouse Problem.

William G. Wood

Published in: REX Workshop (1991)

Keyphrases

high level
specification language
formal verification
reactive systems
database
genetic algorithm
similarity measure
bayesian networks
formal methods
formal language