Install Dafny following this guide.
Your alias instruction should look someting like this:
alias dafny="mono /Users/abyrnes1/Documents/dafny/Dafny.exe"
In your terminal, navigate to the VeriCar directory.
To run the controller, type:
dafny controller.dfy