A flexible formal verification framework for industrial scale validation.

Anna Slobodová Jared Davis Sol Swords Warren A. Hunt Jr.

Published in: MEMOCODE (2011)

Keyphrases

formal verification
lightweight
case study
neural network
probabilistic model
learning algorithm