Internal Adequacy of Bookkeeping in Coq.

Alberto Ciaffaglione Ivan Scagnetto

Published in: LFMTP (2014)

Keyphrases

theorem prover
formal methods
internal and external
database
internal states
real time
data sets
neural network
machine learning
database systems
search space
probabilistic model