Login / Signup

Proof Pearl: A Verified Bignum Implementation in x86-64 Machine Code.

Magnus O. MyreenGregorio Curello
Published in: CPP (2013)
Keyphrases
  • efficient implementation
  • information retrieval
  • real time
  • probabilistic model
  • source code
  • theorem prover
  • parallel implementation
  • implementation details
  • application programming interface