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.