How to make Boogie work on Unix systems with wine, by Daniel Kroeni: 1. Install Wine > sudo apt-get install wine1.2 2. Create a directory to put all downloaded stuff into. > mkdir ~/boogie > cd ~/boogie 3. Download and execute winetricks to install additional dlls (infos: http://wiki.winehq.org/winetricks) > wget http://www.kegel.com/wine/winetricks > chmod +x winetricks > ./winetricks check vcrun2008 (contains dlls for visual studio 2008) 4. Download and install mono for windows > wget http://ftp.novell.com/pub/mono/archive/2.6.7/windows-installer/2/mono-2.6.7-gtksharp-2.12.10-win32-2.exe > wine mono-2.6.7-gtksharp-2.12.10-win32-2.exe 5. Manually download Spec# v1.0.21125 to your boogie directory (https://research.microsoft.com/en-us/projects/specsharp) https://research.microsoft.com/en-us/downloads/8826adb9-8398-40d6-a22d-951923fe2647/default.aspx > wine msiexec /i SpecSharp.msi 6. Add the following line to ~/.bashrc to have easy access to boogie alias boogie='wine "C:\\Program Files\\Microsoft\\Spec#\\bin\Boogie"' 7. Reload .bashrc > . ~/.bashrc 8. Enjoy! Launch boogie in the directory where your bpl file are located > dk@mob:~/ethz/swv/exercises/ex2$ boogie exercise2_1.bpl > Boogie program verifier version 2.00, Copyright (c) 2003-2008, Microsoft. > Boogie program verifier finished with 2 verified, 0 errors