Incremental Bounded Model Checking of Artificial Neural Networks in CUDA.
Luiz H. SenaIury Valente de BessaMikhail Y. R. GadelhaLucas C. CordeiroEdjard MotaPublished in: SBESC (2019)
Keyphrases
- bounded model checking
- artificial neural networks
- model checking
- formal verification
- neural network
- linear temporal logic
- temporal logic
- using artificial neural networks
- general purpose
- incremental learning
- computational intelligence
- back propagation
- multi agent systems
- soft computing
- neural network model
- graphics hardware
- genetic algorithm ga
- parallel implementation
- knowledge base
- learning algorithm
- genetic algorithm
- finite state
- parallel computing
- evolutionary algorithm
- cooperative
- neural models