- How to run DafnyR
- Install Z3.
- Go the "DOWNLOADS" tab, download DafnyRBinaries and unzip the zip file.
- Open "Command Prompt" and execute "Dafny yourfile.dfy".
- Example
- Go the "SOURCE CODE" tab.
- Click on "Examples".
Please send
me an email if you have any trouble.
Know more about
Boogie and Dafny