This project is read-only.
  • How to run DafnyR
    1. Install Z3.
    2. Go the "DOWNLOADS" tab, download DafnyRBinaries and unzip the zip file.
    3. Open "Command Prompt" and execute "Dafny yourfile.dfy".
  • Example
    1. Go the "SOURCE CODE" tab.
    2. Click on "Examples".

Please send me an email if you have any trouble.

Know more about Boogie and Dafny

Last edited Mar 12, 2013 at 1:55 PM by Yuyan, version 7


No comments yet.