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.
Webmaster
01-Aug-2007