Login / Signup

A unified Coq framework for verifying C programs with floating-point computations.

Tahina RamananandroPaul MountcastleBenoît MeisterRichard Lethin
Published in: CPP (2016)
Keyphrases
  • floating point
  • dynamic programming
  • artificial intelligence
  • information systems
  • reinforcement learning
  • data structure
  • probabilistic model
  • data management