Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation

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.