• 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 12:55 PM by Yuyan, version 7

Comments

No comments yet.