Login / Signup
Pervasive formal verification in control system design.
Lee Pike
Published in:
FMCAD (2011)
Keyphrases
</>
formal verification
control system
model checking
object oriented
model checker
neural network
design process
orders of magnitude
formal methods
artificial intelligence
first order logic
temporal logic
computing environments
functional verification