Modeling and verification of component connectors in Coq.

Published in: Sci. Comput. Program. (2015)

Keyphrases

formal methods
databases
neural network
search engine
wide range
hidden markov models
model checking
modeling method
machine learning
decision trees
artificial neural networks
formal verification
colored petri nets