Login / Signup
A unified Coq framework for verifying C programs with floating-point computations.
Tahina Ramananandro
Paul Mountcastle
Benoît Meister
Richard Lethin
Published in:
CPP (2016)
Keyphrases
</>
floating point
dynamic programming
artificial intelligence
information systems
reinforcement learning
data structure
probabilistic model
data management