A Formal Verification Approach to the Design of Synthetic Gene Networks

Boyan Yordanov Calin Belta

Published in: CoRR (2011)

Keyphrases

formal verification
gene networks
model checking
neural network
data sets
bounded model checking