Formal Methods

The objective of this course is to teach students basic formal method concepts and theory and implementation of formal methods. Topics include: Formal methods in SE, mathematical foundations of formal methods, the Z formal method, applying formal methods and advanced issues in formal methods. There is an in-course assignment. This course is appropriate for all software engineers who are developing highly reliable software systems using Formal Methods.

Login Required