Zen and the art of Alpha verification.

Nathan Dohm Carl Ramey Darren Brown Scot Hildebrandt James Huggins Michael Quinn Scott A. Taylor

Published in: ICCD (1998)

Keyphrases

case study
real time
formal analysis
data sets
genetic algorithm
high level
evolutionary algorithm
formal verification