Formal verification of ECML hybrid models with spaceex.

Sanghyun Yoon Junbeom Yoo

Published in: Inf. Softw. Technol. (2017)

Keyphrases

formal verification
hybrid models
hybrid model
model checking
neural network
model checker
automated verification
bounded model checking
symbolic model checking
artificial neural networks
feed forward neural networks
temporal logic
program slicing
image processing
high dimensional