Polynomial modular product verification and its implications.

Pascal Giorgi Bruno Grenet Armelle Perret du Cray

Published in: CoRR (2021)

Keyphrases

life cycle
model checking
formal verification
verification method
neural network
formal analysis
modular neural networks
database
search engine
case study
artificial neural networks
product development
modular structure