This is the course website for:
ANU COMP1600/6260 Foundations of Computing S2 2025
| COMP1600/COMP6260 | |
|---|---|
| Mode of Delivery | on campus |
| Prerequisites | See programs and courses for COMP1600/COMP6260 |
| Course Convenors | Dr. Nisansala Yatapanage and Prof. Dirk Pattinson |
Course overview
This course presents some formal notations that are commonly used for the description of computation and computing systems, for the specification of software, and for mathematically rigorous arguments about program properties. The course focuses on understanding programs in terms of assertions that can be verified using the Dafny Verifier. Dafny is a programming language that allows us to annotate programs and formally establish the validity of assertions, including proving basic properties expressed in logic. Weekly mini-assignments using Dafny will be part of the course, and students will need to submit Dafny code.