Algebraic Specification of Software and Hardware
Course Materials
Slides:
Introduction
Formal Methods
Elements of Formal Specification
Programs and Specifications
Insert Sort in SML
Sorting Problem and Insert Sort in CASL
Problem sheets:
Problem sheet 1
Markus Roggenbach
last update October 10, 2004.