Algebraic Specification of Software and Hardware

Course Materials

• Introduction
• Formal Methods
• Elements of Formal Specification
• Programs and Specifications
  • Insert Sort in SML
  • Sorting Problem and Insert Sort in CASL

• Problem sheet 1