Login / Signup

Formal Verification and Analysis of a Pseudo Random Number Generator.

David SelvakumarJ. MervinShashikala Gunderao PattanshettyVivian Desalphine
Published in: VDAT (2021)
Keyphrases
  • formal verification
  • random number generator
  • model checking
  • statistical analysis
  • data sets
  • high dimensional