The Mondex Case Study

The technical report giving all details is available as pdf file or ps file.

Download

• Get the version of the KeY system which has been used for the proofs: KeY-mondex.tgz  (README)
• Download required external libraries
• The proofs are contained in the directory ''examples/mondex_proofs'' of the KeY-mondex installation. Alternatively, they are available for separate download here: mondex-proofs.tgz.