Setting up and Installing SPARK Ada (CSCM13/CSC313)

• For Windows Machines see instructions on Canvas (but please install the 2021 version).
• On Linux Machines in the Linux Lab, the preferred way of setting it up can be found in the
  Instructions for setting up Computer Science Linux Lab machines at Swansea University for use with Spark Ada
• 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)
• 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
• Academic version of SPARK Ada (needs registration, for academics only; when last checking the code was 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
  • Installation of Why3 alongside with SPARK Ada
  • The Why3 Platform
  • Installing other theorem provers with why3
  • Why3 manual
• Back to Main page about SPARK Ada (CSCM13/CSC313)