Incremental Bounded Model Checking of Artificial Neural Networks in CUDA.
Luiz H. SenaIury Valente de BessaMikhail Y. R. GadelhaLucas C. CordeiroEdjard MotaPublished in: CoRR (2019)
Keyphrases
- bounded model checking
- artificial neural networks
- model checking
- formal verification
- temporal logic
- linear temporal logic
- neural network
- incremental learning
- genetic algorithm
- using artificial neural networks
- back propagation
- general purpose
- multilayer perceptron
- computational intelligence
- parallel implementation
- genetic algorithm ga
- soft computing
- multi agent systems
- gpu accelerated
- support vector
- neural network model
- real time
- parallel computing
- feed forward neural networks
- neural models