Anton Setzer's SPARK Ada Main Page

• Instructions for Lab Sessions
• Mainly Linux specific instructions
  • Instructions for setting up Computer Science Linux Lab machines at Swansea University for use with Spark Ada
  • Setting up and installing SPARK Ada and Why3 (more general approaches)
  • Installing of SPARK Ada on your own computer
  • Compiling and executing SPARK Ada Programs (Linux)
  • Frequently Asked Questions about SPARK Ada (FAQ; mostly Linux specific)
• Instructions for downloading Git repository with SPARK Ada code examples
• Example code for testing your installation can be found in the subdirectory exampleCodeForTesting of the git repository
• Guide to SPARK Ada code examples (including Examples from the lectures and other sources)
  • Basic Usage of SPARK Ada
  • Basic Usage of Why3 (likely not required for lab tasks in Lab 2022/23)
• Library etc
  • The file main.gpr.
  • The file mainWithoutRangeCheck.gpr without range check.
  • The asLibrary for IO in SparkAda can be found in the directory sparkAdaCodeLecture/asLibraryIO/ of the git repository (see above).
• Books and other Resources about SPARK Ada
  
  
• Pre-2014 SPARK Ada