@conference {601, title = {Pseudo-Random Number Generator Verification: A Case Study}, booktitle = {Proceedings of the 7th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)}, year = {2015}, author = {Felix D{\"o}rre and Vladimir Klebanov} }