Setting up and Installing SPARK Ada (CSCM13/CSC313)

  • Instructions for Lab Sessions
  • Manually setting up SPARK Ada for usage from file manager
  • Setting up machines if you want to use SPARK Ada from the Command Line
  • Instructions on how to install SPARK Ada on your own computer (Linux, Windows, Mac; some components can be installed under Raspberry Pi, LEGO mindstorms, AVR, and more)
  • Academic version of SPARK Ada (needs registration, for academics only; apparently the code is the same as the GPL version, but there is additional support)
  • Some basic instructions about using Linux and Emacs can be found here
  • I found it easier to run why3 directly on the generated mlw files
  • Back to Main page about SPARK Ada (CSCM13/CSC313)