Sign in

Internal Adequacy of Bookkeeping in Coq.

Alberto CiaffaglioneIvan 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