• SPARK 2014 Reference Manual
• Wikipedia
• Introduction to SPARK Learn.AdaCore
  • PDF
• spark-ada on SourceForge
• Rosettacode
• SPARK Proof Process
• Reddit r/SPARK

Projects

• MUEN
• SPARKNaCl
• Tokeneer
• CubeSat
• LifeFlow LVAD
• IRONSIDES
• Alire Crates

Blogs

• How to Write Loop invariants Yannick Moy
• Catching Mistakes in Contracts Yannick Moy
• ..Prove that it can Sort Moy

Books

• SPARK: The Proven Approach to High Integrity Software by John Barnes
• Building High Integrity Applications with SPARK by John W. McCormick, Peter C. Chapin

Academia

• Swansea University - Critical Systems
• Swansea University - High Integrity Systems/Critical Systems

Organization

• SCSC

Commercial

• AdaCore: About
• AdaCore: SPARK Pro
• Capgemini Engineering