Home  |  Legals  |  Data Protection  |  Sitemap  |  KIT

VSTTE 2015

Pseudo-Random Number Generator Verification: A Case Study

This is a companion page for the paper "Pseudo-Random Number Generator Verification: A Case Study" by Felix Dörre and Vladimir Klebanov.


Official patch that fixes the problem.

Annotated source code in a zip file.

Version of the KeY system used in the case study.