Formal Software Development

Catalog description

The course focuses on an emerging and promising software development technique: formal methods. It emphasizes the practical applications of formal methods in various phases of software development. It starts with an introduction to formal methods logic and formal specifications and moves to programming techniques with specifications, assertions, invariants, and contracts.