Resources for CSE814 (Fall 2014)

• Alloy
• Alloy Textbook: Software Abstractions: Logic, Language, and Analysis
• About Alloy: Download the Alloy Analyzer from here.


• SPARK Ada
• Libre (download SPARK GPL)
• AdaCore University
• SPARK 2014 Toolset User's Guide
• Spark 2014 Reference Manual
• ISO Home of Ada Standards