Pseudo-Random Number Generator Verification: A Case Study

Reviewed Paper In Proceedings

Author(s):Felix Dörre and Vladimir Klebanov
In:7th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2015)
Publisher:Springer-Verlag
Series:LNCS
Volume:9593
Year:2015

BibTeX

@InProceedings{DoerreKlebanov15,
  author        = {Felix D{\"o}rre and Vladimir Klebanov},
  title         = {Pseudo-Random Number Generator Verification: A Case Study},
  booktitle     = {7th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2015)},
  editor        = {Arie Gurfinkel and Sanjit A. Seshia},
  series	= {LNCS},
  volume	= {9593},
  publisher	= {Springer-Verlag},
  year          = 2015,
  month         = jul
}